0.72
0.72 Abscon 109 (November, 2006)
0.72
0.72 configuration
0.72 name=esac.xml
0.77
0.77 instance
0.77 name=/tmp/evaluation/224008-1168267516/unknown.xml
0.80
0.80 domains being loaded...
0.80
0.80 variables being loaded...
0.84 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.84 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.84
0.84 relations being loaded...
0.93
0.93 constraints being loaded...
1.03 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
1.03 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2 maxDegree=15 maxArity=2
1.03 => wckTime=0.299 cpuTime=0.23 mem=13M942
1.07
1.07 solver IterativeSystematicSolver being built...
1.22 => wckTime=0.488 cpuTime=0.35 mem=14M839
1.27
1.27 preprocessing
1.27 nbConstraintChecks=67336 nbPropagations=727 nbRevisions=4372 nbUselessRevisions=3328 nbSingletonTests=47
1.27 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
1.27 => wckTime=0.044 cpuTime=0.03 mem=14M839
1.29
1.29 search
1.29 run=0 nbConstraintChecks=29763 nbPropagations=1284 nbRevisions=8390 nbUselessRevisions=6130 nbAssignments=31
1.29 nbFailedAssignments=12 nbBacktracks=12 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.29 nbTooLargeKeys=0
1.29 => wckTime=0.065 cpuTime=0.04 mem=14M839
1.30
1.30 search
1.30 run=1 nbConstraintChecks=72960 nbPropagations=3409 nbRevisions=22851 nbUselessRevisions=16582 nbAssignments=75
1.30 nbFailedAssignments=29 nbBacktracks=28 nbVisitedNodes=120 nbRestartNogoods=1 mapSize=19 nbInferences=0
1.30 nbTooLargeKeys=0
1.30 => wckTime=0.082 cpuTime=0.06 mem=14M839
1.32
1.32 search
1.32 run=2 nbConstraintChecks=138331 nbPropagations=6731 nbRevisions=46388 nbUselessRevisions=33369
1.32 nbAssignments=128 nbFailedAssignments=52 nbBacktracks=50 nbVisitedNodes=212 nbRestartNogoods=3 mapSize=41
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.101 cpuTime=0.07 mem=14M839
1.35
1.35 search
1.35 run=3 nbConstraintChecks=274818 nbPropagations=12236 nbRevisions=86186 nbUselessRevisions=61912
1.35 nbAssignments=237 nbFailedAssignments=90 nbBacktracks=85 nbVisitedNodes=349 nbRestartNogoods=8 mapSize=72
1.35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.123 cpuTime=0.09 mem=14M839
1.37
1.37 search
1.37 run=4 nbConstraintChecks=399613 nbPropagations=19849 nbRevisions=141988 nbUselessRevisions=101585
1.37 nbAssignments=341 nbFailedAssignments=137 nbBacktracks=135 nbVisitedNodes=531 nbRestartNogoods=9 mapSize=115
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.148 cpuTime=0.11 mem=14M839
1.40
1.40 search
1.40 run=5 nbConstraintChecks=581703 nbPropagations=30870 nbRevisions=224768 nbUselessRevisions=160043
1.40 nbAssignments=514 nbFailedAssignments=228 nbBacktracks=210 nbVisitedNodes=842 nbRestartNogoods=14 mapSize=181
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.18 cpuTime=0.14 mem=14M839
1.44
1.44 search
1.44 run=6 nbConstraintChecks=790189 nbPropagations=46032 nbRevisions=338100 nbUselessRevisions=239928
1.44 nbAssignments=720 nbFailedAssignments=312 nbBacktracks=323 nbVisitedNodes=1202 nbRestartNogoods=18 mapSize=275
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.218 cpuTime=0.18 mem=14M839
1.50
1.50 search
1.50 run=7 nbConstraintChecks=1137875 nbPropagations=67677 nbRevisions=501315 nbUselessRevisions=354876
1.50 nbAssignments=1024 nbFailedAssignments=438 nbBacktracks=493 nbVisitedNodes=1732 nbRestartNogoods=23
1.50 mapSize=419 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.276 cpuTime=0.24 mem=14M839
1.61
1.61 search
1.61 run=8 nbConstraintChecks=1745698 nbPropagations=100903 nbRevisions=753986 nbUselessRevisions=532066
1.61 nbAssignments=1524 nbFailedAssignments=675 nbBacktracks=750 nbVisitedNodes=2635 nbRestartNogoods=32
1.61 mapSize=648 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.384 cpuTime=0.33 mem=14M839
1.74
1.74 search
1.74 run=9 nbConstraintChecks=2544046 nbPropagations=149880 nbRevisions=1126163 nbUselessRevisions=792000
1.74 nbAssignments=2267 nbFailedAssignments=1026 nbBacktracks=1134 nbVisitedNodes=3969 nbRestartNogoods=41
1.74 mapSize=991 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.516 cpuTime=0.45 mem=14M839
1.75
1.75 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M839)
1.90
1.90 search
1.90 run=10 nbConstraintChecks=3597067 nbPropagations=220442 nbRevisions=1658533 nbUselessRevisions=1163347
1.90 nbAssignments=3284 nbFailedAssignments=1462 nbBacktracks=1711 nbVisitedNodes=5778 nbRestartNogoods=55
1.90 => wckTime=0.678 cpuTime=0.61 mem=14M839
2.14
2.14 search
2.14 run=11 nbConstraintChecks=5360075 nbPropagations=323921 nbRevisions=2442914 nbUselessRevisions=1709411
2.14 nbAssignments=4840 nbFailedAssignments=2151 nbBacktracks=2575 nbVisitedNodes=8520 nbRestartNogoods=62
2.14 => wckTime=0.922 cpuTime=0.85 mem=14M839
2.53
2.53 search
2.53 run=12 nbConstraintChecks=8234029 nbPropagations=480128 nbRevisions=3635582 nbUselessRevisions=2537665
2.53 nbAssignments=7250 nbFailedAssignments=3259 nbBacktracks=3873 nbVisitedNodes=12820 nbRestartNogoods=65
2.53 => wckTime=1.309 cpuTime=1.23 mem=14M839
3.11
3.11 search
3.11 run=13 nbConstraintChecks=12639603 nbPropagations=714842 nbRevisions=5441665 nbUselessRevisions=3791136
3.11 nbAssignments=10928 nbFailedAssignments=4986 nbBacktracks=5819 nbVisitedNodes=19355 nbRestartNogoods=71
3.11 => wckTime=1.888 cpuTime=1.81 mem=14M839
3.91
3.91 search
3.91 run=14 nbConstraintChecks=18234742 nbPropagations=1064936 nbRevisions=8107056 nbUselessRevisions=5641918
3.91 nbAssignments=16284 nbFailedAssignments=7415 nbBacktracks=8743 nbVisitedNodes=28917 nbRestartNogoods=79
3.91 => wckTime=2.686 cpuTime=2.61 mem=15M814
5.18
5.18 search
5.18 run=15 nbConstraintChecks=27533217 nbPropagations=1589818 nbRevisions=12144763 nbUselessRevisions=8445478
5.18 nbAssignments=24553 nbFailedAssignments=11299 nbBacktracks=13121 nbVisitedNodes=43679 nbRestartNogoods=87
5.18 => wckTime=3.959 cpuTime=3.88 mem=15M814
6.97
6.97 search
6.97 run=16 nbConstraintChecks=40330684 nbPropagations=2371694 nbRevisions=18119703 nbUselessRevisions=12596434
6.97 nbAssignments=36755 nbFailedAssignments=16926 nbBacktracks=19689 nbVisitedNodes=65520 nbRestartNogoods=100
6.97 => wckTime=5.751 cpuTime=5.67 mem=15M814
9.83
9.83 search
9.83 run=17 nbConstraintChecks=61352535 nbPropagations=3546515 nbRevisions=27172758 nbUselessRevisions=18894726
9.83 nbAssignments=54892 nbFailedAssignments=25205 nbBacktracks=29541 nbVisitedNodes=97861 nbRestartNogoods=109
9.83 => wckTime=8.61 cpuTime=8.52 mem=15M814
14.13
14.13 search
14.13 run=18 nbConstraintChecks=92209308 nbPropagations=5332516 nbRevisions=40915530 nbUselessRevisions=28466192
14.13 nbAssignments=83177 nbFailedAssignments=38704 nbBacktracks=44319 nbVisitedNodes=148817 nbRestartNogoods=123
14.13 => wckTime=12.903 cpuTime=12.81 mem=15M814
20.12
20.12 search
20.12 run=19 nbConstraintChecks=137071294 nbPropagations=7949250 nbRevisions=61164861 nbUselessRevisions=42563537
20.12 nbAssignments=122012 nbFailedAssignments=56826 nbBacktracks=64992 nbVisitedNodes=218144 nbRestartNogoods=132
20.12 => wckTime=18.902 cpuTime=18.81 mem=15M814
20.13
20.13 global
20.13 nbConstraintChecks=137138630 nbPropagations=7949977 nbRevisions=61169233 nbUselessRevisions=42566865
20.13 nbRestartNogoods=132 solvingWckTime=18.903 solvingCpuTime=18.82 expiredTime=no totalExploration=no
20.13 nbFoundSolutions=1 globalCpuTime=19.22
20.13 => wckTime=19.395 cpuTime=19.17 mem=15M814
20.13
20.13 s SATISFIABLE
20.13 v 9 15 0 21 21 9 15 0 7 17 4 4 0 17 16 15 23 21 24 12 1 6 8 22 23 2 21 24 8 10 23 17 0 3 10 5 19 17 24 1
20.13 d NODES 122012
20.13 d CHECKS 137138630
20.13
20.13 totalWckTime=19.476 totalCpuTime=19.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-224008-1168267516 -o ROOT/results/node20/solver-224008-1168267516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224008-1168267516/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 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=216 CPUtime=0
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 46 0 0 0 0 0 0 0 18 0 1 0 175146150 221184 30 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7619492 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/20555/statm: 54 30 25 14 0 2 0
[startup+0.107432 s]
/proc/loadavg: 2.00 2.00 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=9948 CPUtime=0.01
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 708 0 17 0 0 1 0 0 18 0 1 0 175146150 10186752 474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 0 0 0
/proc/20555/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948
[startup+0.51548 s]
/proc/loadavg: 2.00 2.00 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915120 CPUtime=0.25
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 3770 0 61 0 16 9 0 0 19 0 8 0 175146150 937082880 3576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228780 3576 1751 14 0 215275 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 915120
[startup+1.33858 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707928/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=0.96
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8577 0 74 0 81 15 0 0 21 0 8 0 175146150 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8388 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 17 0 8 0 175146171 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.16
/proc/20555/task/20561/stat : 20561 (java) R 20553 20555 20231 0 -1 64 370 0 0 0 16 0 0 0 15 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 915452
[startup+2.99178 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707288/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=2.61
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8656 0 74 0 246 15 0 0 25 0 8 0 175146150 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8466 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 17 0 8 0 175146171 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 915452
[startup+6.28917 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707224/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=5.91
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8665 0 74 0 576 15 0 0 25 0 8 0 175146150 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8474 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 175146171 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 915452
[startup+12.7779 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707232/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=12.38
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8670 0 74 0 1223 15 0 0 25 0 8 0 175146150 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8479 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 175146171 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 20.1552
CPU time (s): 19.75
CPU user time (s): 19.585
CPU system time (s): 0.164974
CPU usage (%): 97.9896
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.585
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8764
page faults= 74
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1641
involuntary context switches= 2427
runsolver used 0.036994 s user time and 0.06199 s system time
The end
Begin job on node20 on Mon Jan 8 14:45:16 UTC 2007
IDJOB= 224008
IDBENCH= 5700
FILE ID= node20/224008-1168267516
PBS_JOBID= 3482849
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224008-1168267516/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-224008-1168267516 -o ROOT/results/node20/solver-224008-1168267516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224008-1168267516/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e87527d3d9cb650583ee9e0c941502a5
RANDOM SEED= 21867900
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.216
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.216
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: 753584 kB
Buffers: 4288 kB
Cached: 1213492 kB
SwapCached: 2684 kB
Active: 751204 kB
Inactive: 498756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 753584 kB
SwapTotal: 4192956 kB
SwapFree: 4170192 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 49120 kB
Slab: 36980 kB
Committed_AS: 3629368 kB
PageTables: 2408 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= 66555 MiB
End job on node20 on Mon Jan 8 14:45:36 UTC 2007