0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229179-1168304104/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1382 maxDegree=18
0.59 maxArity=2
0.59 => wckTime=0.282 cpuTime=0.19 mem=11M893
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.485 cpuTime=0.33 mem=14M827
0.85
0.85 preprocessing
0.85 nbConstraintChecks=50584 nbPropagations=777 nbRevisions=5530 nbUselessRevisions=4461 nbSingletonTests=53
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.053 cpuTime=0.02 mem=14M827
0.87
0.87 search
0.87 run=0 nbConstraintChecks=39588 nbPropagations=1434 nbRevisions=12259 nbUselessRevisions=9720 nbAssignments=30
0.87 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.078 cpuTime=0.04 mem=14M827
0.89
0.89 search
0.89 run=1 nbConstraintChecks=77769 nbPropagations=3547 nbRevisions=31419 nbUselessRevisions=24771 nbAssignments=65
0.89 nbFailedAssignments=25 nbBacktracks=29 nbVisitedNodes=112 nbRestartNogoods=5 mapSize=25 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.097 cpuTime=0.05 mem=14M827
0.91
0.91 search
0.91 run=2 nbConstraintChecks=116331 nbPropagations=6348 nbRevisions=57532 nbUselessRevisions=45219
0.91 nbAssignments=108 nbFailedAssignments=38 nbBacktracks=55 nbVisitedNodes=182 nbRestartNogoods=6 mapSize=47
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.111 cpuTime=0.06 mem=14M827
0.92
0.92 search
0.92 run=3 nbConstraintChecks=177053 nbPropagations=10241 nbRevisions=95067 nbUselessRevisions=74550
0.92 nbAssignments=168 nbFailedAssignments=59 nbBacktracks=88 nbVisitedNodes=281 nbRestartNogoods=8 mapSize=73
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.125 cpuTime=0.07 mem=14M827
0.95
0.95 search
0.95 run=4 nbConstraintChecks=295677 nbPropagations=16160 nbRevisions=153881 nbUselessRevisions=120235
0.95 nbAssignments=280 nbFailedAssignments=101 nbBacktracks=139 nbVisitedNodes=454 nbRestartNogoods=12 mapSize=117
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.153 cpuTime=0.1 mem=14M827
0.98
0.98 search
0.98 run=5 nbConstraintChecks=429118 nbPropagations=24511 nbRevisions=238678 nbUselessRevisions=186073
0.98 nbAssignments=411 nbFailedAssignments=149 nbBacktracks=215 nbVisitedNodes=681 nbRestartNogoods=14 mapSize=183
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.185 cpuTime=0.13 mem=14M827
1.03
1.03 search
1.03 run=6 nbConstraintChecks=648614 nbPropagations=36853 nbRevisions=366909 nbUselessRevisions=285466
1.03 nbAssignments=627 nbFailedAssignments=244 nbBacktracks=330 nbVisitedNodes=1055 nbRestartNogoods=17 mapSize=281
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.232 cpuTime=0.17 mem=14M827
1.09
1.09 search
1.09 run=7 nbConstraintChecks=974736 nbPropagations=54968 nbRevisions=558280 nbUselessRevisions=433000
1.09 nbAssignments=939 nbFailedAssignments=377 nbBacktracks=502 nbVisitedNodes=1599 nbRestartNogoods=23 mapSize=426
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.297 cpuTime=0.24 mem=14M827
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1419462 nbPropagations=81032 nbRevisions=833373 nbUselessRevisions=645004
1.19 nbAssignments=1382 nbFailedAssignments=535 nbBacktracks=758 nbVisitedNodes=2328 nbRestartNogoods=31
1.19 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.395 cpuTime=0.32 mem=14M827
1.33
1.33 search
1.33 run=9 nbConstraintChecks=2065833 nbPropagations=118912 nbRevisions=1237639 nbUselessRevisions=957276
1.33 nbAssignments=2034 nbFailedAssignments=799 nbBacktracks=1142 nbVisitedNodes=3462 nbRestartNogoods=35
1.33 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.532 cpuTime=0.45 mem=14M827
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M827)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3082035 nbPropagations=174965 nbRevisions=1837644 nbUselessRevisions=1420342
1.52 nbAssignments=3017 nbFailedAssignments=1200 nbBacktracks=1718 nbVisitedNodes=5172 nbRestartNogoods=42
1.52 => wckTime=0.721 cpuTime=0.63 mem=14M827
1.76
1.76 search
1.76 run=11 nbConstraintChecks=4554944 nbPropagations=256763 nbRevisions=2717257 nbUselessRevisions=2097029
1.76 nbAssignments=4425 nbFailedAssignments=1738 nbBacktracks=2583 nbVisitedNodes=7603 nbRestartNogoods=47
1.76 => wckTime=0.967 cpuTime=0.87 mem=14M827
2.14
2.14 search
2.14 run=12 nbConstraintChecks=6779861 nbPropagations=378153 nbRevisions=4019504 nbUselessRevisions=3095115
2.14 nbAssignments=6559 nbFailedAssignments=2570 nbBacktracks=3880 nbVisitedNodes=11296 nbRestartNogoods=54
2.14 => wckTime=1.34 cpuTime=1.24 mem=14M827
2.71
2.71 search
2.71 run=13 nbConstraintChecks=10205496 nbPropagations=560164 nbRevisions=5985429 nbUselessRevisions=4603836
2.71 nbAssignments=9799 nbFailedAssignments=3858 nbBacktracks=5826 nbVisitedNodes=16955 nbRestartNogoods=63
2.71 => wckTime=1.912 cpuTime=1.81 mem=14M827
3.57
3.57 search
3.57 run=14 nbConstraintChecks=15321408 nbPropagations=833075 nbRevisions=8931506 nbUselessRevisions=6861123
3.57 nbAssignments=14810 nbFailedAssignments=5945 nbBacktracks=8745 nbVisitedNodes=25749 nbRestartNogoods=72
3.57 => wckTime=2.773 cpuTime=2.66 mem=14M827
4.81
4.81 search
4.81 run=15 nbConstraintChecks=22761840 nbPropagations=1239015 nbRevisions=13325437 nbUselessRevisions=10234454
4.81 nbAssignments=22176 nbFailedAssignments=8928 nbBacktracks=13123 nbVisitedNodes=38593 nbRestartNogoods=75
4.81 => wckTime=4.019 cpuTime=3.89 mem=14M827
6.63
6.63 search
6.63 run=16 nbConstraintChecks=33562215 nbPropagations=1840358 nbRevisions=19814076 nbUselessRevisions=15212467
6.63 nbAssignments=32904 nbFailedAssignments=13081 nbBacktracks=19692 nbVisitedNodes=57205 nbRestartNogoods=87
6.63 => wckTime=5.834 cpuTime=5.69 mem=14M827
9.44
9.44 search
9.44 run=17 nbConstraintChecks=50444447 nbPropagations=2741884 nbRevisions=29569999 nbUselessRevisions=22703368
9.45 nbAssignments=49379 nbFailedAssignments=19695 nbBacktracks=29545 nbVisitedNodes=86044 nbRestartNogoods=99
9.45 => wckTime=8.65 cpuTime=8.48 mem=14M827
13.72
13.72 search
13.72 run=18 nbConstraintChecks=76255690 nbPropagations=4098915 nbRevisions=44282366 nbUselessRevisions=34002364
13.72 nbAssignments=73955 nbFailedAssignments=29488 nbBacktracks=44324 nbVisitedNodes=128990 nbRestartNogoods=107
13.72 => wckTime=12.922 cpuTime=12.71 mem=14M827
14.84
14.84 search
14.84 run=19 nbConstraintChecks=83031360 nbPropagations=5577285 nbRevisions=60291141 nbUselessRevisions=46296346
14.84 nbAssignments=80638 nbFailedAssignments=32089 nbBacktracks=48357 nbVisitedNodes=140574 nbRestartNogoods=121
14.84 => wckTime=14.044 cpuTime=13.82 mem=14M827
14.84
14.84 global
14.84 nbConstraintChecks=83081944 nbPropagations=5578062 nbRevisions=60296671 nbUselessRevisions=46300807
14.84 nbRestartNogoods=121 solvingWckTime=14.045 solvingCpuTime=13.82 expiredTime=no totalExploration=no
14.84 nbFoundSolutions=1 globalCpuTime=14.2
14.84 => wckTime=14.533 cpuTime=14.15 mem=14M827
14.84
14.84 s SATISFIABLE
14.84 v 6 14 15 3 11 9 1 3 6 9 6 15 0 15 11 15 14 2 9 3 2 6 13 10 6 2 2 15 12 6 5 15 2 1 4 5 7 12 3 3
14.84 d NODES 80638
14.84 d CHECKS 83081944
14.84
14.84 totalWckTime=14.613 totalCpuTime=14.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-229179-1168304104 -o ROOT/results/node18/solver-229179-1168304104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229179-1168304104/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.04 1.00 1.18 4/88 3297
/proc/meminfo: memFree=1465928/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=906644 CPUtime=0.03
/proc/3296/stat : 3296 (java) S 3294 3296 3065 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 178805069 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 226661 1817 1036 14 0 214244 0
[pid=3296/tid=3298] ppid=3294 vsize=906644 CPUtime=0
/proc/3296/task/3298/stat : 3298 (java) R 3294 3296 3065 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 178805073 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103577 s]
/proc/loadavg: 1.04 1.00 1.18 4/88 3297
/proc/meminfo: memFree=1465928/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=914988 CPUtime=0.09
/proc/3296/stat : 3296 (java) R 3294 3296 3065 0 -1 0 3019 0 1 0 8 1 0 0 17 0 8 0 178805069 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228747 2765 1435 14 0 215242 0
[pid=3296/tid=3298] ppid=3294 vsize=914988 CPUtime=0
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 178805073 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511615 s]
/proc/loadavg: 1.04 1.00 1.18 4/88 3297
/proc/meminfo: memFree=1465928/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=915328 CPUtime=0.49
/proc/3296/stat : 3296 (java) S 3294 3296 3065 0 -1 0 6683 0 1 0 45 4 0 0 17 0 8 0 178805069 937295872 6422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228832 6422 2138 14 0 215302 0
[pid=3296/tid=3298] ppid=3294 vsize=915328 CPUtime=0
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 178805073 937295872 6422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33469 s]
/proc/loadavg: 1.04 1.00 1.18 4/95 3304
/proc/meminfo: memFree=1442128/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=915452 CPUtime=1.3
/proc/3296/stat : 3296 (java) R 3294 3296 3065 0 -1 0 8691 0 1 0 124 6 0 0 20 0 8 0 178805069 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228863 8429 2524 14 0 215333 0
[pid=3296/tid=3298] ppid=3294 vsize=915452 CPUtime=0.03
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178805073 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3299] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3299/stat : 3299 (java) S 3294 3296 3065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178805073 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3300] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3300/stat : 3300 (java) S 3294 3296 3065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178805073 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3301] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3301/stat : 3301 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178805076 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3302] ppid=3294 vsize=915452 CPUtime=0.22
/proc/3296/task/3302/stat : 3302 (java) R 3294 3296 3065 0 -1 64 383 0 0 0 21 1 0 0 17 0 8 0 178805076 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153356172 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3303] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3303/stat : 3303 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178805076 937422848 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3304] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3304/stat : 3304 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178805076 937422848 8429 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) 915452
[startup+2.98785 s]
/proc/loadavg: 1.04 1.00 1.18 3/95 3304
/proc/meminfo: memFree=1441936/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=915452 CPUtime=2.94
/proc/3296/stat : 3296 (java) R 3294 3296 3065 0 -1 0 8710 0 1 0 287 7 0 0 25 0 8 0 178805069 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228863 8447 2524 14 0 215333 0
[pid=3296/tid=3298] ppid=3294 vsize=915452 CPUtime=0.03
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178805073 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3299] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3299/stat : 3299 (java) S 3294 3296 3065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178805073 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3300] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3300/stat : 3300 (java) S 3294 3296 3065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178805073 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3301] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3301/stat : 3301 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178805076 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3302] ppid=3294 vsize=915452 CPUtime=0.23
/proc/3296/task/3302/stat : 3302 (java) S 3294 3296 3065 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 178805076 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3303] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3303/stat : 3303 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178805076 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3304] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3304/stat : 3304 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178805076 937422848 8447 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) 915452
[startup+6.28217 s]
/proc/loadavg: 1.12 1.02 1.18 3/95 3304
/proc/meminfo: memFree=1441872/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=915452 CPUtime=6.21
/proc/3296/stat : 3296 (java) R 3294 3296 3065 0 -1 0 8718 0 1 0 614 7 0 0 25 0 8 0 178805069 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228863 8454 2524 14 0 215333 0
[pid=3296/tid=3298] ppid=3294 vsize=915452 CPUtime=0.03
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178805073 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3299] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3299/stat : 3299 (java) S 3294 3296 3065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178805073 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3300] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3300/stat : 3300 (java) S 3294 3296 3065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178805073 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3301] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3301/stat : 3301 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178805076 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3302] ppid=3294 vsize=915452 CPUtime=0.23
/proc/3296/task/3302/stat : 3302 (java) S 3294 3296 3065 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 178805076 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3303] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3303/stat : 3303 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178805076 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3304] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3304/stat : 3304 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178805076 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7678 s]
/proc/loadavg: 1.19 1.03 1.19 3/95 3304
/proc/meminfo: memFree=1441808/2055920 swapFree=4192812/4192956
[pid=3296] ppid=3294 vsize=915452 CPUtime=12.63
/proc/3296/stat : 3296 (java) R 3294 3296 3065 0 -1 0 8723 0 1 0 1256 7 0 0 25 0 8 0 178805069 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3296/statm: 228863 8459 2524 14 0 215333 0
[pid=3296/tid=3298] ppid=3294 vsize=915452 CPUtime=0.03
/proc/3296/task/3298/stat : 3298 (java) S 3294 3296 3065 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178805073 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3299] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3299/stat : 3299 (java) S 3294 3296 3065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178805073 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3300] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3300/stat : 3300 (java) S 3294 3296 3065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178805073 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3301] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3301/stat : 3301 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178805076 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3302] ppid=3294 vsize=915452 CPUtime=0.23
/proc/3296/task/3302/stat : 3302 (java) S 3294 3296 3065 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 178805076 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3303] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3303/stat : 3303 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178805076 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3296/tid=3304] ppid=3294 vsize=915452 CPUtime=0
/proc/3296/task/3304/stat : 3304 (java) S 3294 3296 3065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178805076 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 14.8746
CPU time (s): 14.7028
CPU user time (s): 14.6218
CPU system time (s): 0.080987
CPU usage (%): 98.8445
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6218
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8817
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= 1101
involuntary context switches= 1567
runsolver used 0.021996 s user time and 0.055991 s system time
The end
Begin job on node18 on Tue Jan 9 00:55:04 UTC 2007
IDJOB= 229179
IDBENCH= 6284
FILE ID= node18/229179-1168304104
PBS_JOBID= 3502258
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229179-1168304104/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-229179-1168304104 -o ROOT/results/node18/solver-229179-1168304104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229179-1168304104/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c7e456fa961beb29ac5d6b933b1d5804
RANDOM SEED= 373374675
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.231
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.231
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: 1466344 kB
Buffers: 95212 kB
Cached: 371336 kB
SwapCached: 0 kB
Active: 311712 kB
Inactive: 217024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3120 kB
Writeback: 0 kB
Mapped: 82808 kB
Slab: 45752 kB
Committed_AS: 5295708 kB
PageTables: 2096 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= 66303 MiB
End job on node18 on Tue Jan 9 00:55:19 UTC 2007