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/210958-1168204031/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.45 nbVariables=719 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.45 => wckTime=0.163 cpuTime=0.12 mem=7M894
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
4.16 nbConstraints=470 nbMergedConstraints=122 nbSingletonDomainVariables=221 nbConvertedConstraints=243
4.16 nbConvertConstraintsChecks=786911 nbExtensionStructures=7 nbSharedExtensionStructures=236
4.16 nbConflictsStructures=33 nbSharedConflictsStructures=357 nbUnbuiltConflictsStructures=32
4.16 nbSharedBinaryRepresentations=15 nbEvaluationManagers=58 nbSharedEvaluationManagers=169 maxDegree=35
4.16 maxArity=19
4.16 => wckTime=3.871 cpuTime=3.72 mem=7M843
4.20
4.20 solver IterativeSystematicSolver being built...
4.41 => wckTime=4.125 cpuTime=3.89 mem=21M906
32.18
32.18 preprocessing
32.18 nbConstraintChecks=9661313 nbValidityChecks=70477 nbPropagations=1915 nbRevisions=38896
32.18 nbUselessRevisions=38398 nbSingletonTests=727 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0
32.18 detectedInconsistency=no
32.18 => wckTime=27.758 cpuTime=27.71 mem=22M900
35.94
35.94 search
35.94 run=0 nbConstraintChecks=1325331 nbValidityChecks=49529 nbPropagations=2856 nbRevisions=76059
35.94 nbUselessRevisions=74593 nbAssignments=22 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=35
35.94 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
35.94 => wckTime=31.519 cpuTime=31.43 mem=22M900
39.77
39.77 search
39.77 run=1 nbConstraintChecks=2684072 nbValidityChecks=112017 nbPropagations=7036 nbRevisions=199309
39.77 nbUselessRevisions=195013 nbAssignments=51 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=80
39.77 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
39.77 => wckTime=35.349 cpuTime=35.26 mem=22M900
43.81
43.81 search
43.81 run=2 nbConstraintChecks=4105943 nbValidityChecks=186197 nbPropagations=12876 nbRevisions=378858
43.81 nbUselessRevisions=370016 nbAssignments=89 nbFailedAssignments=24 nbBacktracks=49 nbVisitedNodes=138
43.81 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
43.81 => wckTime=39.397 cpuTime=39.3 mem=22M900
48.81
48.81 search
48.81 run=3 nbConstraintChecks=5852140 nbValidityChecks=294718 nbPropagations=21076 nbRevisions=640773
48.81 nbUselessRevisions=624783 nbAssignments=146 nbFailedAssignments=40 nbBacktracks=85 nbVisitedNodes=227
48.81 nbRestartNogoods=7 mapSize=71 nbInferences=0 nbTooLargeKeys=0
48.81 => wckTime=44.392 cpuTime=44.3 mem=22M900
52.78
52.78 search
52.78 run=4 nbConstraintChecks=7229230 nbValidityChecks=384651 nbPropagations=31107 nbRevisions=970201
52.78 nbUselessRevisions=944923 nbAssignments=221 nbFailedAssignments=54 nbBacktracks=135 nbVisitedNodes=330
52.78 nbRestartNogoods=9 mapSize=96 nbInferences=0 nbTooLargeKeys=0
52.78 => wckTime=48.362 cpuTime=48.26 mem=22M900
60.62
60.62 search
60.62 run=5 nbConstraintChecks=9941765 nbValidityChecks=493059 nbPropagations=43353 nbRevisions=1377139
60.62 nbUselessRevisions=1340006 nbAssignments=317 nbFailedAssignments=67 nbBacktracks=210 nbVisitedNodes=452
60.62 nbRestartNogoods=12 mapSize=120 nbInferences=0 nbTooLargeKeys=0
60.62 => wckTime=56.204 cpuTime=56.09 mem=22M900
67.26
67.26 search
67.26 run=6 nbConstraintChecks=12198537 nbValidityChecks=633239 nbPropagations=58208 nbRevisions=1883699
67.26 nbUselessRevisions=1831476 nbAssignments=465 nbFailedAssignments=87 nbBacktracks=324 nbVisitedNodes=640
67.26 nbRestartNogoods=14 mapSize=157 nbInferences=0 nbTooLargeKeys=0
67.26 => wckTime=62.844 cpuTime=62.73 mem=22M900
87.11
87.11 search
87.11 run=7 nbConstraintChecks=19298190 nbValidityChecks=799091 nbPropagations=75334 nbRevisions=2498005
87.11 nbUselessRevisions=2426403 nbAssignments=678 nbFailedAssignments=118 nbBacktracks=496 nbVisitedNodes=917
87.11 nbRestartNogoods=17 mapSize=217 nbInferences=0 nbTooLargeKeys=0
87.11 => wckTime=82.689 cpuTime=82.47 mem=22M900
90.81
90.81 search
90.81 run=8 nbConstraintChecks=20563570 nbValidityChecks=841346 nbPropagations=93070 nbRevisions=3140060
90.81 nbUselessRevisions=3047986 nbAssignments=724 nbFailedAssignments=126 nbBacktracks=535 nbVisitedNodes=980
90.81 nbRestartNogoods=21 mapSize=234 nbInferences=0 nbTooLargeKeys=0
90.81 => wckTime=86.389 cpuTime=86.15 mem=22M900
90.81
90.81 global
90.81 nbConstraintChecks=30224883 nbValidityChecks=911823 nbPropagations=94985 nbRevisions=3178956
90.81 nbUselessRevisions=3086384 nbRestartNogoods=21 solvingWckTime=86.392 solvingCpuTime=86.16 expiredTime=no
90.81 totalExploration=yes nbFoundSolutions=0 globalCpuTime=90.1
90.81 => wckTime=90.521 cpuTime=90.05 mem=22M900
90.81
90.81 s UNSATISFIABLE
90.81 d NODES 724
90.81 d CHECKS 30224883
90.81
90.81 totalWckTime=90.597 totalCpuTime=90.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-210958-1168204031 -o ROOT/results/node45/solver-210958-1168204031 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210958-1168204031/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.01 1.05 3/69 29453
/proc/meminfo: memFree=1784416/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=172 CPUtime=0
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 168802100 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4727588 0 0 4096 0 0 0 0 17 1 0 0
/proc/29452/statm: 43 24 18 14 0 3 0
[startup+0.106062 s]
/proc/loadavg: 1.04 1.01 1.05 3/69 29453
/proc/meminfo: memFree=1784416/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=915724 CPUtime=0.09
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 3068 0 1 0 7 2 0 0 17 0 8 0 168802100 937701376 2814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 228931 2814 1455 14 0 215426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915724
[startup+0.514136 s]
/proc/loadavg: 1.04 1.01 1.05 3/69 29453
/proc/meminfo: memFree=1784416/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=915956 CPUtime=0.51
/proc/29452/stat : 29452 (java) S 29450 29452 29224 0 -1 0 6777 0 1 0 47 4 0 0 16 0 8 0 168802100 937938944 6516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 228989 6516 2145 14 0 215459 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915956
[startup+1.33528 s]
/proc/loadavg: 1.04 1.01 1.05 2/75 29462
/proc/meminfo: memFree=1737456/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916088 CPUtime=1.34
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 14228 0 1 0 124 10 0 0 18 0 8 0 168802100 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229022 13966 2168 14 0 215492 0
[pid=29452/tid=29455] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 168802104 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 168802104 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 168802104 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916088 CPUtime=0.18
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 168802107 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938074112 13966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 916088
[startup+2.98859 s]
/proc/loadavg: 1.04 1.01 1.05 3/88 29521
/proc/meminfo: memFree=1727112/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916088 CPUtime=3
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 14775 0 1 0 289 11 0 0 25 0 8 0 168802100 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229022 14513 2168 14 0 215492 0
[pid=29452/tid=29455] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 168802104 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 168802104 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 168802104 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916088 CPUtime=0.18
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 168802107 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916088 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938074112 14513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 916088
[startup+6.27218 s]
/proc/loadavg: 1.20 1.04 1.06 3/88 29521
/proc/meminfo: memFree=1686472/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916192 CPUtime=6.28
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 17978 0 1 0 616 12 0 0 25 0 8 0 168802100 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229048 17713 2545 14 0 215518 0
[pid=29452/tid=29455] ppid=29450 vsize=916192 CPUtime=0.04
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 908 0 0 0 4 0 0 0 16 0 8 0 168802104 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916192 CPUtime=0.24
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 415 0 0 0 23 1 0 0 15 0 8 0 168802107 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938180608 17713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 916192
[startup+12.7624 s]
/proc/loadavg: 1.26 1.06 1.07 3/88 29521
/proc/meminfo: memFree=1685640/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916192 CPUtime=12.75
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 17986 0 1 0 1263 12 0 0 25 0 8 0 168802100 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229048 17717 2545 14 0 215518 0
[pid=29452/tid=29455] ppid=29450 vsize=916192 CPUtime=0.04
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 908 0 0 0 4 0 0 0 16 0 8 0 168802104 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916192 CPUtime=0.25
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 423 0 0 0 24 1 0 0 16 0 8 0 168802107 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938180608 17717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 916192
[startup+25.6287 s]
/proc/loadavg: 1.42 1.11 1.08 3/88 29521
/proc/meminfo: memFree=1685064/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916192 CPUtime=25.61
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 18007 0 1 0 2549 12 0 0 25 0 8 0 168802100 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229048 17731 2547 14 0 215518 0
[pid=29452/tid=29455] ppid=29450 vsize=916192 CPUtime=0.04
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 908 0 0 0 4 0 0 0 17 0 8 0 168802104 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916192 CPUtime=0.27
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 438 0 0 0 26 1 0 0 16 0 8 0 168802107 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938180608 17731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 916192
[startup+51.2463 s]
/proc/loadavg: 1.69 1.19 1.11 3/88 29594
/proc/meminfo: memFree=1576008/2055920 swapFree=4184048/4192956
[pid=29452] ppid=29450 vsize=916192 CPUtime=51.2
/proc/29452/stat : 29452 (java) R 29450 29452 29224 0 -1 0 18026 0 1 0 5107 13 0 0 25 0 8 0 168802100 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29452/statm: 229048 17743 2548 14 0 215518 0
[pid=29452/tid=29455] ppid=29450 vsize=916192 CPUtime=0.04
/proc/29452/task/29455/stat : 29455 (java) S 29450 29452 29224 0 -1 64 908 0 0 0 4 0 0 0 16 0 8 0 168802104 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29456] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29456/stat : 29456 (java) S 29450 29452 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29457] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29457/stat : 29457 (java) S 29450 29452 29224 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168802104 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29459] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29459/stat : 29459 (java) S 29450 29452 29224 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 168802107 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29460] ppid=29450 vsize=916192 CPUtime=0.29
/proc/29452/task/29460/stat : 29460 (java) S 29450 29452 29224 0 -1 64 451 0 0 0 28 1 0 0 16 0 8 0 168802107 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29461] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29461/stat : 29461 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168802107 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29452/tid=29462] ppid=29450 vsize=916192 CPUtime=0
/proc/29452/task/29462/stat : 29462 (java) S 29450 29452 29224 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168802107 938180608 17743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 916192
Child status: 0
Real time (s): 90.8678
CPU time (s): 90.6642
CPU user time (s): 90.5062
CPU system time (s): 0.157975
CPU usage (%): 99.776
Max. virtual memory (cumulated for all children) (KiB): 916192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.5062
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18036
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= 2997
involuntary context switches= 1550
runsolver used 0.090986 s user time and 0.320951 s system time
The end
Begin job on node45 on Sun Jan 7 21:07:11 UTC 2007
IDJOB= 210958
IDBENCH= 4658
FILE ID= node45/210958-1168204031
PBS_JOBID= 3480768
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/blast-floppy1-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210958-1168204031/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-210958-1168204031 -o ROOT/results/node45/solver-210958-1168204031 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210958-1168204031/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7858bbb2995540e71f464a345aca5f7d
RANDOM SEED= 541640708
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.259
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.259
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: 1784832 kB
Buffers: 19156 kB
Cached: 182004 kB
SwapCached: 2704 kB
Active: 62668 kB
Inactive: 152604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1784832 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2188 kB
Writeback: 0 kB
Mapped: 20260 kB
Slab: 41468 kB
Committed_AS: 3232452 kB
PageTables: 1636 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= 66544 MiB
End job on node45 on Sun Jan 7 21:08:42 UTC 2007