0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2097558-1247413535.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.38/0.47 nbVariables=916 nbDomainTypes=7 minDomainSize=6 maxDomainSize=44 nbTotalValues=36200
0.38/0.47 => wckTime=0.228 cpuTime=0.15 mem=10M819
0.38/0.47
0.38/0.47 predicates being loaded...
0.49/0.53
0.49/0.53 constraints being loaded...
3.36/3.41 nbConstraints=5861 nbGlobalConstraints=117 nbConvertedConstraints=5744 nbConvertConstraintsChecks=5835424
3.36/3.41 nbExtensionStructures=3751 nbSharedExtensionStructures=5194 nbConflictsStructures=3765
3.36/3.41 nbSharedConflictsStructures=5194 nbSharedBinaryRepresentations=292969 minDegree=1 maxDegree=63 minArity=2
3.36/3.41 avgArity=2.1 maxArity=20 nbGenerators=22 nbFusions=17 symmetryWckTime=0.426 symmetryCpuTime=0.25 nbCliques=95
3.36/3.41 => wckTime=3.168 cpuTime=2.71 mem=32M381
3.46/3.55
3.46/3.55 solver IterativeSystematicSolver being built...
3.56/3.62
3.56/3.62 INFO : Forward propagation technique limited
3.67/3.74 => wckTime=3.496 cpuTime=2.87 mem=32M203
3.67/3.77
3.67/3.77 preprocessing
3.67/3.77 nbConstraintChecks=12529 nbPropagations=69 nbRevisions=897 nbUselessRevisions=590 nbRemovedValues=2230
3.67/3.77 nbRemovedTuples=1396 detectedInconsistency=yes
3.67/3.77 => wckTime=0.032 cpuTime=0.02 mem=33M145
3.67/3.77
3.67/3.77 global
3.67/3.77 nbConstraintChecks=12529 nbPropagations=69 nbRevisions=897 nbUselessRevisions=590 nbRestartNogoods=0
3.67/3.77 solvingWckTime=0.036 solvingCpuTime=0.02 expiredTime=no totalExploration=yes nbFoundSolutions=0
3.67/3.77 globalCpuTime=2.94
3.67/3.77 => wckTime=3.534 cpuTime=2.9 mem=33M145
3.67/3.78
3.67/3.78 s UNSATISFIABLE
3.67/3.78 d NODES 0
3.67/3.78 d CHECKS 12529
3.67/3.78
3.67/3.78 totalWckTime=3.604 totalCpuTime=2.95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097558-1247413535/watcher-2097558-1247413535 -o /tmp/evaluation-result-2097558-1247413535/solver-2097558-1247413535 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097558-1247413535.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.15 2.01 2.00 4/81 32646
/proc/meminfo: memFree=1698416/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=324 CPUtime=0
/proc/32646/stat : 32646 (java) R 32644 32646 28996 0 -1 0 221 0 0 0 0 0 0 0 18 0 1 0 28418878 331776 41 996147200 134512640 134550932 4294955968 18446744073709551615 7711373 0 0 4096 0 0 0 0 17 0 0 0
/proc/32646/statm: 81 44 33 9 0 6 0
[startup+0.094098 s]
/proc/loadavg: 2.15 2.01 2.00 4/81 32646
/proc/meminfo: memFree=1698416/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=865980 CPUtime=0.08
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 3734 0 1 0 6 2 0 0 18 0 9 0 28418878 886763520 3202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216495 3202 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.101096 s]
/proc/loadavg: 2.15 2.01 2.00 4/81 32646
/proc/meminfo: memFree=1698416/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=865980 CPUtime=0.08
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 3804 0 1 0 6 2 0 0 18 0 9 0 28418878 886763520 3255 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216495 3255 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301123 s]
/proc/loadavg: 2.15 2.01 2.00 4/81 32646
/proc/meminfo: memFree=1698416/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=866380 CPUtime=0.29
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 6084 0 1 0 24 5 0 0 18 0 9 0 28418878 887173120 5450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216595 5450 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701169 s]
/proc/loadavg: 2.15 2.01 2.00 4/81 32646
/proc/meminfo: memFree=1698416/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867776 CPUtime=0.69
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 9372 0 1 0 62 7 0 0 18 0 9 0 28418878 888602624 8726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216944 8727 2039 9 0 211380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867776
[startup+1.50226 s]
/proc/loadavg: 2.15 2.01 2.00 3/90 32655
/proc/meminfo: memFree=1659240/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=867776 CPUtime=1.49
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 14429 0 1 0 134 15 0 0 18 0 9 0 28418878 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 216944 13780 2043 9 0 211380 0
[pid=32646/tid=32648] ppid=32644 vsize=867776 CPUtime=1.24
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 28996 0 -1 64 13009 0 1 0 111 13 0 0 25 0 9 0 28418879 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 104514034 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 28996 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28418880 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 28996 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 28418880 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 28996 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 28418880 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 28996 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28418882 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=867776 CPUtime=0.22
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 28996 0 -1 64 722 0 0 0 22 0 0 0 16 0 9 0 28418882 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 28996 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28418882 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=867776 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 28996 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28418882 888602624 13780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867776
[startup+3.10245 s]
/proc/loadavg: 2.14 2.00 2.00 3/90 32655
/proc/meminfo: memFree=1641128/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868012 CPUtime=3.08
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 19098 0 1 0 275 33 0 0 18 0 10 0 28418878 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217003 18302 2034 9 0 211461 0
[pid=32646/tid=32648] ppid=32644 vsize=868012 CPUtime=2.73
/proc/32646/task/32648/stat : 32648 (java) S 32644 32646 28996 0 -1 64 15904 0 1 0 243 30 0 0 16 0 10 0 28418879 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868012 CPUtime=0.06
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 28996 0 -1 64 1675 0 0 0 6 0 0 0 16 0 10 0 28418880 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868012 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 28996 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28418880 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868012 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 28996 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28418880 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868012 CPUtime=0
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 28996 0 -1 64 2 0 0 0 0 0 0 0 24 0 10 0 28418882 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868012 CPUtime=0.26
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 28996 0 -1 64 749 0 0 0 25 1 0 0 16 0 10 0 28418882 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868012 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 28996 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 28418882 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868012 CPUtime=0
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 28996 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 28418882 888844288 18302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 868012
Solver just ended. Dumping a history of the last processes samples
[startup+3.5025 s]
/proc/loadavg: 2.14 2.00 2.00 3/92 32659
/proc/meminfo: memFree=1632032/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868152 CPUtime=3.46
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 26353 467 1 0 302 35 9 0 18 0 10 0 28418878 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217038 19182 2636 9 0 211496 0
[pid=32659] ppid=32646 vsize=144 CPUtime=0
/proc/32659/stat : 32659 (rm) R 32646 32646 28996 0 -1 4194304 43 0 0 0 0 0 0 0 18 0 1 0 28419198 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 210720847241 0 4 0 0 0 0 0 17 1 0 0
/proc/32659/statm: 36 22 16 8 0 3 0
[pid=32646/tid=32648] ppid=32644 vsize=868152 CPUtime=2.98
/proc/32646/task/32648/stat : 32648 (java) S 32644 32646 28996 0 -1 64 19669 467 1 0 258 31 9 0 17 0 10 0 28418879 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868152 CPUtime=0.23
/proc/32646/task/32649/stat : 32649 (java) R 32644 32646 28996 0 -1 64 4896 467 0 0 14 0 9 0 17 0 10 0 28418880 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 102768233 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 28996 0 -1 64 16 467 0 0 0 0 9 0 16 0 10 0 28418880 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 28996 0 -1 64 5 467 0 0 0 0 9 0 16 0 10 0 28418880 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 28996 0 -1 64 2 467 0 0 0 0 9 0 24 0 10 0 28418882 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868152 CPUtime=0.39
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 28996 0 -1 64 955 467 0 0 29 1 9 0 15 0 10 0 28418882 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 28996 0 -1 64 0 467 0 0 0 0 9 0 25 0 10 0 28418882 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 28996 0 -1 64 10 467 0 0 0 0 9 0 15 0 10 0 28418882 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32658] ppid=32644 vsize=868152 CPUtime=0.09
/proc/32646/task/32658/stat : 32658 (java) S 32644 32646 28996 0 -1 64 45 467 0 0 0 0 9 0 16 0 10 0 28419198 888987648 19182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 868296
[startup+3.70252 s]
/proc/loadavg: 2.14 2.00 2.00 3/92 32659
/proc/meminfo: memFree=1632032/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=868228 CPUtime=3.67
/proc/32646/stat : 32646 (java) S 32644 32646 28996 0 -1 0 29933 467 1 0 321 37 9 0 18 0 10 0 28418878 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32646/statm: 217057 21318 2659 9 0 211493 0
[pid=32659] ppid=32646 vsize=144 CPUtime=0
/proc/32659/stat : 32659 (rm) R 32646 32646 28996 0 -1 4194304 43 0 0 0 0 0 0 0 18 0 1 0 28419198 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 210720847241 0 4 0 0 0 0 0 17 1 0 0
/proc/32659/statm: 36 22 16 8 0 3 0
[pid=32646/tid=32648] ppid=32644 vsize=868228 CPUtime=3.12
/proc/32646/task/32648/stat : 32648 (java) R 32644 32646 28996 0 -1 64 21162 467 1 0 271 32 9 0 17 0 10 0 28418879 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4125924987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32644 vsize=868228 CPUtime=0.28
/proc/32646/task/32649/stat : 32649 (java) S 32644 32646 28996 0 -1 64 6961 467 0 0 18 1 9 0 17 0 10 0 28418880 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32650/stat : 32650 (java) S 32644 32646 28996 0 -1 64 20 467 0 0 0 0 9 0 16 0 10 0 28418880 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32651/stat : 32651 (java) S 32644 32646 28996 0 -1 64 9 467 0 0 0 0 9 0 16 0 10 0 28418880 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32652/stat : 32652 (java) S 32644 32646 28996 0 -1 64 2 467 0 0 0 0 9 0 24 0 10 0 28418882 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32644 vsize=868228 CPUtime=0.41
/proc/32646/task/32653/stat : 32653 (java) S 32644 32646 28996 0 -1 64 969 467 0 0 31 1 9 0 15 0 10 0 28418882 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32654/stat : 32654 (java) S 32644 32646 28996 0 -1 64 0 467 0 0 0 0 9 0 25 0 10 0 28418882 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32655] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32655/stat : 32655 (java) S 32644 32646 28996 0 -1 64 10 467 0 0 0 0 9 0 15 0 10 0 28418882 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32658] ppid=32644 vsize=868228 CPUtime=0.09
/proc/32646/task/32658/stat : 32658 (java) S 32644 32646 28996 0 -1 64 45 467 0 0 0 0 9 0 16 0 10 0 28419198 889065472 21318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 868372
[startup+3.80273 s]
/proc/loadavg: 2.14 2.00 2.00 3/92 32659
/proc/meminfo: memFree=1632032/2055920 swapFree=4192812/4192956
[pid=32646] ppid=32644 vsize=0 CPUtime=3.76
/proc/32646/stat : 32646 (java) Z 32644 32646 28996 0 -1 12 31661 590 1 0 328 38 9 1 16 0 2 0 28418878 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 3.80717
CPU time (s): 3.78342
CPU user time (s): 3.38049
CPU system time (s): 0.402938
CPU usage (%): 99.3763
Max. virtual memory (cumulated for all children) (KiB): 868372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.38049
system time used= 0.402938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32251
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= 1645
involuntary context switches= 1730
runsolver used 0.011998 second user time and 0.019996 second system time
The end
Begin job on node73 at 2009-07-12 17:45:35
IDJOB=2097558
IDBENCH=57517
IDSOLVER=774
FILE ID=node73/2097558-1247413535
PBS_JOBID= 9510504
Free space on /tmp= 66484 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rlfapScens/normalized-scen8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097558-1247413535/watcher-2097558-1247413535 -o /tmp/evaluation-result-2097558-1247413535/solver-2097558-1247413535 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097558-1247413535.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d7cebb3d1eb044a9483fdd1ea1c74095
RANDOM SEED=1497733106
node73.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.213
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.213
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: 1698896 kB
Buffers: 40316 kB
Cached: 139680 kB
SwapCached: 0 kB
Active: 190980 kB
Inactive: 110012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1698896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3376 kB
Writeback: 0 kB
Mapped: 141540 kB
Slab: 41112 kB
Committed_AS: 992588 kB
PageTables: 1996 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= 66480 MiB
End job on node73 at 2009-07-12 17:45:39