0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/199282-1168133258/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=159 nbDomainTypes=2 minDomainSize=79 maxDomainSize=80
0.44 => wckTime=0.122 cpuTime=0.09 mem=7M927
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
1.34 nbConstraints=6320 nbConvertedConstraints=6241 nbConvertConstraintsChecks=12641 nbExtensionStructures=2
1.34 nbSharedExtensionStructures=6239 nbConflictsStructures=2 nbSharedConflictsStructures=6239
1.34 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=159 nbEvaluationManagers=1
1.34 nbSharedEvaluationManagers=78 maxDegree=81 maxArity=3
1.34 => wckTime=1.029 cpuTime=0.86 mem=29M414
1.42
1.42 solver IterativeSystematicSolver being built...
1.61 => wckTime=1.295 cpuTime=1.01 mem=19M460
79.56
79.56 preprocessing
79.56 nbConstraintChecks=224961273 nbValidityChecks=537843 nbPropagations=5635 nbRevisions=21259
79.56 nbUselessRevisions=14724 nbSingletonTests=159 nbEffectiveSingletonTests=0 nbESACBranches=1 nbRemovedValues=0
79.56 detectedInconsistency=no
79.56 => wckTime=77.946 cpuTime=77.18 mem=19M460
79.56
79.56 global
79.56 nbConstraintChecks=224961273 nbValidityChecks=537843 nbPropagations=5635 nbRevisions=21259
79.56 nbUselessRevisions=14724 nbRestartNogoods=0 solvingWckTime=77.95 solvingCpuTime=77.19 expiredTime=no
79.56 totalExploration=no nbFoundSolutions=1 globalCpuTime=78.25
79.56 => wckTime=79.248 cpuTime=78.2 mem=19M460
79.56
79.56 s SATISFIABLE
79.56 v 39 40 38 41 37 42 36 43 35 44 34 45 33 46 32 47 31 48 30 49 29 50 28 51 27 52 26 53 25 54 24 55 23 56 22 57 21 58 20 59 19 60 18 61 17 62 16 63 15 64 14 65 13 66 12 67 11 68 10 69 9 70 8 71 7 72 6 73 5 74 4 75 3 76 2 77 1 78 0 79 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
79.56 d NODES 0
79.56 d CHECKS 224961273
79.57
79.57 totalWckTime=79.329 totalCpuTime=78.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-199282-1168133258 -o ROOT/results/node2/solver-199282-1168133258 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199282-1168133258/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.96 1.98 1.93 4/94 26048
/proc/meminfo: memFree=1335520/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=9748 CPUtime=0
/proc/26047/stat : 26047 (java) D 26045 26047 24826 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 161721453 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26047/statm: 2437 412 333 14 0 1140 0
[startup+0.103531 s]
/proc/loadavg: 1.96 1.98 1.93 4/94 26048
/proc/meminfo: memFree=1335520/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=914988 CPUtime=0.08
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 2989 0 1 0 7 1 0 0 19 0 8 0 161721453 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513605 s]
/proc/loadavg: 1.96 1.98 1.93 4/94 26048
/proc/meminfo: memFree=1335520/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915328 CPUtime=0.49
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 6436 0 1 0 45 4 0 0 18 0 8 0 161721453 937295872 6175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228832 6175 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34076 s]
/proc/loadavg: 1.96 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1301544/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915632 CPUtime=1.31
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 11712 0 1 0 99 32 0 0 25 0 8 0 161721453 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228908 11450 2177 14 0 215378 0
[pid=26047/tid=26049] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 161721457 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161721457 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161721457 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915632 CPUtime=0.2
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 430 0 0 0 19 1 0 0 15 0 8 0 161721461 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915632 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937607168 11450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
[startup+2.97806 s]
/proc/loadavg: 1.96 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1293800/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915716 CPUtime=2.93
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 13169 0 1 0 260 33 0 0 25 0 8 0 161721453 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228929 12906 2540 14 0 215399 0
[pid=26047/tid=26049] ppid=26045 vsize=915716 CPUtime=0.06
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 934 0 0 0 6 0 0 0 17 0 8 0 161721457 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915716 CPUtime=0.26
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 471 0 0 0 25 1 0 0 15 0 8 0 161721461 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937693184 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915716
[startup+6.27567 s]
/proc/loadavg: 1.96 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1293736/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915716 CPUtime=6.2
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 13172 0 1 0 587 33 0 0 25 0 8 0 161721453 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228929 12907 2540 14 0 215399 0
[pid=26047/tid=26049] ppid=26045 vsize=915716 CPUtime=0.06
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 934 0 0 0 6 0 0 0 17 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915716 CPUtime=0.26
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 473 0 0 0 25 1 0 0 16 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915716
[startup+12.7509 s]
/proc/loadavg: 1.96 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1293744/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915716 CPUtime=12.61
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 13173 0 1 0 1228 33 0 0 25 0 8 0 161721453 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074001318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228929 12907 2540 14 0 215399 0
[pid=26047/tid=26049] ppid=26045 vsize=915716 CPUtime=0.06
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 934 0 0 0 6 0 0 0 16 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915716 CPUtime=0.26
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 474 0 0 0 25 1 0 0 16 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937693184 12907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915716
[startup+25.6032 s]
/proc/loadavg: 1.97 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1293808/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915716 CPUtime=25.34
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 13179 0 1 0 2501 33 0 0 25 0 8 0 161721453 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228929 12910 2540 14 0 215399 0
[pid=26047/tid=26049] ppid=26045 vsize=915716 CPUtime=0.06
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 934 0 0 0 6 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915716 CPUtime=0.27
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 479 0 0 0 26 1 0 0 16 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915716
[startup+51.2099 s]
/proc/loadavg: 1.98 1.98 1.93 3/101 26055
/proc/meminfo: memFree=1290928/2055920 swapFree=4191880/4192956
[pid=26047] ppid=26045 vsize=915716 CPUtime=50.71
/proc/26047/stat : 26047 (java) R 26045 26047 24826 0 -1 0 13182 0 1 0 5038 33 0 0 25 0 8 0 161721453 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074001413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228929 12910 2540 14 0 215399 0
[pid=26047/tid=26049] ppid=26045 vsize=915716 CPUtime=0.06
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24826 0 -1 64 934 0 0 0 6 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24826 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24826 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161721457 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915716 CPUtime=0.27
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24826 0 -1 64 480 0 0 0 26 1 0 0 16 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24826 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915716 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24826 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161721461 937693184 12910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915716
Child status: 0
Real time (s): 79.6155
CPU time (s): 78.831
CPU user time (s): 78.4811
CPU system time (s): 0.349946
CPU usage (%): 99.0146
Max. virtual memory (cumulated for all children) (KiB): 915716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.4811
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13193
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= 2930
involuntary context switches= 7453
runsolver used 0.106983 s user time and 0.253961 s system time
The end
Begin job on node2 on Sun Jan 7 01:27:38 UTC 2007
IDJOB= 199282
IDBENCH= 3605
FILE ID= node2/199282-1168133258
PBS_JOBID= 3477747
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-80.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199282-1168133258/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-199282-1168133258 -o ROOT/results/node2/solver-199282-1168133258 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199282-1168133258/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7d89c09191c2cd60062cf6cd8a3a21b8
RANDOM SEED= 792157720
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 : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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: 1336000 kB
Buffers: 58480 kB
Cached: 417956 kB
SwapCached: 448 kB
Active: 402960 kB
Inactive: 258912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1336000 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 211436 kB
Slab: 42276 kB
Committed_AS: 4006448 kB
PageTables: 2708 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= 66325 MiB
End job on node2 on Sun Jan 7 01:28:58 UTC 2007