0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/205839-1168168163/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.89 nbVariables=2500 nbDomainTypes=18 minDomainSize=42 maxDomainSize=698
0.89 => wckTime=0.569 cpuTime=0.39 mem=44M728
0.89
0.89 predicates being loaded...
0.89
0.89 constraints being loaded...
202.96
202.96 INFO : Stopping converting binary constraints (cpu=200.05, mem = 124M580)
210.62 nbConstraints=32622 nbMergedConstraints=29510 nbConvertedConstraints=1006 nbConvertConstraintsChecks=352881528
210.62 nbExtensionStructures=912 nbSharedExtensionStructures=94 nbConflictsStructures=912
210.62 nbSharedConflictsStructures=94 nbSharedBinaryRepresentations=909881 nbEvaluationManagers=21659
210.62 nbSharedEvaluationManagers=9957 maxDegree=54 maxArity=2
210.62 => wckTime=210.3 cpuTime=206.65 mem=170M714
211.08
211.08 solver IterativeSystematicSolver being built...
212.22 => wckTime=211.903 cpuTime=207.31 mem=343M621
213.90
213.90 preprocessing
213.90 nbConstraintChecks=2108520 nbValidityChecks=79009 nbPropagations=82 nbRevisions=2294 nbUselessRevisions=1390
213.90 nbRemovedValues=153524 detectedInconsistency=yes
213.90 => wckTime=1.639 cpuTime=1.6 mem=343M621
213.90
213.90 global
213.90 nbConstraintChecks=2108520 nbValidityChecks=79009 nbPropagations=82 nbRevisions=2294 nbUselessRevisions=1390
213.90 nbRestartNogoods=0 solvingWckTime=1.646 solvingCpuTime=1.61 expiredTime=no totalExploration=yes
213.90 nbFoundSolutions=0 globalCpuTime=209.02
213.90 => wckTime=213.585 cpuTime=208.96 mem=343M621
213.92
213.92 s UNSATISFIABLE
213.92 d NODES 0
213.92 d CHECKS 2108520
213.92
213.92 totalWckTime=213.683 totalCpuTime=209.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-205839-1168168163 -o ROOT/results/node7/solver-205839-1168168163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205839-1168168163/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 1.79 1.75 2/86 19455
/proc/meminfo: memFree=1586136/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=18540 CPUtime=0
/proc/19454/stat : 19454 (runsolver) R 19452 19454 19211 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165211770 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19454/statm: 4635 279 244 17 0 2626 0
[startup+0.102531 s]
/proc/loadavg: 2.00 1.79 1.75 2/86 19455
/proc/meminfo: memFree=1586136/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=913236 CPUtime=0.09
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 2921 0 1 0 7 2 0 0 17 0 8 0 165211770 935153664 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913236
[startup+0.510575 s]
/proc/loadavg: 2.00 1.79 1.75 2/86 19455
/proc/meminfo: memFree=1586136/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915328 CPUtime=0.49
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 7458 0 1 0 44 5 0 0 18 0 8 0 165211770 937295872 7197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073589791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228832 7197 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33366 s]
/proc/loadavg: 2.00 1.79 1.75 3/93 19462
/proc/meminfo: memFree=1486240/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915596 CPUtime=1.31
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 28942 0 1 0 117 14 0 0 23 0 8 0 165211770 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228899 28679 2160 14 0 215369 0
[pid=19454/tid=19456] ppid=19452 vsize=915596 CPUtime=0.12
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 12399 0 0 0 8 4 0 0 16 0 8 0 165211774 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915596 CPUtime=0.15
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 165211778 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937570304 28679 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) 915596
[startup+2.98684 s]
/proc/loadavg: 2.00 1.79 1.75 3/93 19462
/proc/meminfo: memFree=1455584/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915596 CPUtime=2.94
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 32070 0 1 0 278 16 0 0 25 0 8 0 165211770 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073774460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228899 31802 2160 14 0 215369 0
[pid=19454/tid=19456] ppid=19452 vsize=915596 CPUtime=0.3
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 15519 0 0 0 25 5 0 0 16 0 8 0 165211774 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915596 CPUtime=0.15
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 165211778 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915596 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937570304 31802 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) 915596
[startup+6.28817 s]
/proc/loadavg: 2.00 1.80 1.76 3/93 19462
/proc/meminfo: memFree=1424992/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=6.21
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 32682 0 1 0 604 17 0 0 25 0 8 0 165211770 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 32410 2180 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.34
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 16056 0 0 0 29 5 0 0 17 0 8 0 165211774 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.17
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 165211778 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 32410 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) 915732
[startup+12.7669 s]
/proc/loadavg: 2.00 1.80 1.76 3/93 19462
/proc/meminfo: memFree=1367520/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=12.64
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 32684 0 1 0 1246 18 0 0 25 0 8 0 165211770 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 32412 2180 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.34
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 16056 0 0 0 29 5 0 0 16 0 8 0 165211774 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.18
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 425 0 0 0 18 0 0 0 16 0 8 0 165211778 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 32412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915732
[startup+25.6152 s]
/proc/loadavg: 2.00 1.81 1.76 3/94 19463
/proc/meminfo: memFree=1363160/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=25.38
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 32694 0 1 0 2520 18 0 0 25 0 8 0 165211770 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 32422 2181 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.34
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 16056 0 0 0 29 5 0 0 16 0 8 0 165211774 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.19
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 434 0 0 0 19 0 0 0 16 0 8 0 165211778 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 32422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915732
[startup+51.2249 s]
/proc/loadavg: 2.00 1.82 1.76 3/94 19463
/proc/meminfo: memFree=1354584/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=50.77
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 34851 0 1 0 5057 20 0 0 25 0 8 0 165211770 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 34577 2181 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.44
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 18209 0 0 0 38 6 0 0 16 0 8 0 165211774 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.19
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 436 0 0 0 19 0 0 0 16 0 8 0 165211778 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 34577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915732
[startup+102.442 s]
/proc/loadavg: 2.00 1.85 1.77 3/94 19463
/proc/meminfo: memFree=1341464/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=101.55
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 38142 0 1 0 10133 22 0 0 25 0 8 0 165211770 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 37866 2181 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.6
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 21497 0 0 0 53 7 0 0 16 0 8 0 165211774 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.2
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 437 0 0 0 20 0 0 0 16 0 8 0 165211778 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 37866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915732
[startup+162.499 s]
/proc/loadavg: 2.00 1.87 1.79 3/94 19463
/proc/meminfo: memFree=1341464/2055920 swapFree=4192812/4192956
[pid=19454] ppid=19452 vsize=915732 CPUtime=161.09
/proc/19454/stat : 19454 (java) R 19452 19454 19211 0 -1 0 38147 0 1 0 16085 24 0 0 25 0 8 0 165211770 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19454/statm: 228933 37870 2181 14 0 215403 0
[pid=19454/tid=19456] ppid=19452 vsize=915732 CPUtime=0.6
/proc/19454/task/19456/stat : 19456 (java) S 19452 19454 19211 0 -1 64 21497 0 0 0 53 7 0 0 16 0 8 0 165211774 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19457] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19457/stat : 19457 (java) S 19452 19454 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19458] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19458/stat : 19458 (java) S 19452 19454 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165211775 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19459] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19459/stat : 19459 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165211778 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19460] ppid=19452 vsize=915732 CPUtime=0.21
/proc/19454/task/19460/stat : 19460 (java) S 19452 19454 19211 0 -1 64 441 0 0 0 21 0 0 0 16 0 8 0 165211778 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19461] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19461/stat : 19461 (java) S 19452 19454 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165211778 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19454/tid=19462] ppid=19452 vsize=915732 CPUtime=0
/proc/19454/task/19462/stat : 19462 (java) S 19452 19454 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165211778 937709568 37870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 214.005
CPU time (s): 212.163
CPU user time (s): 211.587
CPU system time (s): 0.575912
CPU usage (%): 99.1392
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.587
system time used= 0.575912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96271
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= 5962
involuntary context switches= 13607
runsolver used 0.25796 s user time and 0.702893 s system time
The end
Begin job on node7 on Sun Jan 7 11:09:23 UTC 2007
IDJOB= 205839
IDBENCH= 4171
FILE ID= node7/205839-1168168163
PBS_JOBID= 3478808
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205839-1168168163/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-205839-1168168163 -o ROOT/results/node7/solver-205839-1168168163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205839-1168168163/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9a5d0f42873de31e4aba17b1bc51fb2
RANDOM SEED= 682445149
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.220
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.220
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: 1586680 kB
Buffers: 56900 kB
Cached: 184772 kB
SwapCached: 0 kB
Active: 279864 kB
Inactive: 133364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1586680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 12300 kB
Writeback: 0 kB
Mapped: 191896 kB
Slab: 40468 kB
Committed_AS: 4860788 kB
PageTables: 2696 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= 66529 MiB
End job on node7 on Sun Jan 7 11:12:57 UTC 2007