0.05/0.10
0.05/0.10 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2099424-1247418173.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80 nbTotalValues=3200
0.28/0.39 => wckTime=0.116 cpuTime=0.1 mem=7M892
0.28/0.39
0.28/0.39 relations being loaded...
0.47/0.55
0.47/0.55 constraints being loaded...
0.67/0.71 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67/0.71 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=1
0.67/0.71 maxDegree=10 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.046 symmetryCpuTime=0.02
0.67/0.71 => wckTime=0.441 cpuTime=0.35 mem=26M548
0.67/0.79
0.67/0.79 solver IterativeSystematicSolver being built...
0.86/0.94 => wckTime=0.67 cpuTime=0.48 mem=23M520
0.97/1.01
0.97/1.01 preprocessing
0.97/1.01 nbConstraintChecks=175614 nbPropagations=1046 nbRevisions=3698 nbUselessRevisions=2046 nbSingletonTests=49
0.97/1.01 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.97/1.01 => wckTime=0.065 cpuTime=0.06 mem=24M505
1.06/1.19
1.06/1.19 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M473)
22.75/23.06
22.75/23.06 search
22.75/23.06 run=18 nbConstraintChecks=240563144 minDepth=0 maxDepth=40 nbPropagations=6383161 nbRevisions=30737914
22.75/23.06 nbUselessRevisions=16463552 nbAssignments=55285 nbFailedAssignments=32527 nbBacktracks=22648
22.75/23.06 nbVisitedNodes=103576 nbRestartNogoods=204 nbFoundSolutions=1 nbSEliminables=5.26 nbREliminables=2.72
22.75/23.06 nbIEliminables=16.46 nbDEliminables=0 nbPEliminables=0
22.75/23.06 => wckTime=22.113 cpuTime=21.83 mem=25M473
22.75/23.06
22.75/23.06 global
22.75/23.06 nbConstraintChecks=240738758 nbPropagations=6384207 nbRevisions=30741612 nbUselessRevisions=16465598
22.75/23.06 nbRestartNogoods=204 solvingWckTime=22.116 solvingCpuTime=21.83 expiredTime=no totalExploration=no
22.75/23.06 nbFoundSolutions=1 firstSolutionCpuTime=22.31 globalCpuTime=22.36
22.75/23.06 => wckTime=22.789 cpuTime=22.31 mem=25M473
22.75/23.06
22.75/23.06 s SATISFIABLE
22.75/23.06 v 14 5 26 52 50 41 65 18 45 76 70 49 25 22 74 8 19 37 45 9 26 67 34 12 77 58 77 24 11 35 16 70 10 29 34 15 68 33 42 79
22.75/23.06 d NODES 55285
22.75/23.06 d CHECKS 240738758
22.75/23.06
22.75/23.06 totalWckTime=22.861 totalCpuTime=22.36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099424-1247418173/watcher-2099424-1247418173 -o /tmp/evaluation-result-2099424-1247418173/solver-2099424-1247418173 -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-2099424-1247418173.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: 1.98 2.00 2.00 3/80 2895
/proc/meminfo: memFree=1698584/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=18576 CPUtime=0
/proc/2895/stat : 2895 (runsolver) R 2893 2895 2696 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28880030 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2895/statm: 4644 284 249 26 0 2626 0
[startup+0.065832 s]
/proc/loadavg: 1.98 2.00 2.00 3/80 2895
/proc/meminfo: memFree=1698584/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=864024 CPUtime=0.05
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 2750 0 1 0 3 2 0 0 18 0 9 0 28880030 884760576 2300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216006 2300 1088 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101835 s]
/proc/loadavg: 1.98 2.00 2.00 3/80 2895
/proc/meminfo: memFree=1698584/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=865984 CPUtime=0.08
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 3664 0 1 0 6 2 0 0 18 0 9 0 28880030 886767616 3147 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216496 3147 1680 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301853 s]
/proc/loadavg: 1.98 2.00 2.00 3/80 2895
/proc/meminfo: memFree=1698584/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=866300 CPUtime=0.28
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 5670 0 1 0 24 4 0 0 18 0 9 0 28880030 887091200 5082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216575 5082 1910 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701888 s]
/proc/loadavg: 1.98 2.00 2.00 3/80 2895
/proc/meminfo: memFree=1698584/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867268 CPUtime=0.67
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 10853 148 1 0 60 7 0 0 18 0 11 0 28880030 888082432 10054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216817 10054 2016 9 0 211275 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867268
[startup+1.50295 s]
/proc/loadavg: 1.98 2.00 2.00 5/91 2908
/proc/meminfo: memFree=1659200/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867356 CPUtime=1.46
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20061 272 1 0 136 10 0 0 18 0 9 0 28880030 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216839 12432 2656 9 0 211275 0
[pid=2895/tid=2897] ppid=2893 vsize=867356 CPUtime=1.19
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13977 272 1 0 112 7 0 0 22 0 9 0 28880031 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4126791573 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867356 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867356 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867356 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867356 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867356 CPUtime=0.17
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 529 272 0 0 17 0 0 0 15 0 9 0 28880035 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867356 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867356 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888172544 12432 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867356
[startup+3.10108 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658888/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=3.04
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20084 272 1 0 294 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=2.74
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13982 272 1 0 267 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126791630 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 17 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867488
[startup+6.30133 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658632/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=6.21
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20087 272 1 0 611 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=5.91
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13985 272 1 0 584 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126785484 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 17 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867488
[startup+12.7018 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658568/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=12.55
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20089 272 1 0 1245 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=12.25
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13987 272 1 0 1218 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126773966 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867488
Solver just ended. Dumping a history of the last processes samples
[startup+19.1024 s]
/proc/loadavg: 1.98 2.00 2.00 4/89 2908
/proc/meminfo: memFree=1658632/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=18.89
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20090 272 1 0 1879 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=18.59
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13988 272 1 0 1852 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126785400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 867488
[startup+20.7015 s]
/proc/loadavg: 1.99 2.00 2.00 4/89 2908
/proc/meminfo: memFree=1658568/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=20.47
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20090 272 1 0 2037 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=20.17
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13988 272 1 0 2010 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126767269 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.47
Current children cumulated vsize (KiB) 867488
[startup+22.3016 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658568/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=22.06
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20091 272 1 0 2196 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=21.76
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13989 272 1 0 2169 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126785256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 867488
[startup+22.7017 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658568/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=22.45
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20091 272 1 0 2235 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=22.15
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13989 272 1 0 2208 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126792406 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.45
Current children cumulated vsize (KiB) 867488
[startup+22.9017 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658568/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=22.65
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20091 272 1 0 2255 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=22.35
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13989 272 1 0 2228 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126786437 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.65
Current children cumulated vsize (KiB) 867488
[startup+23.0017 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 2908
/proc/meminfo: memFree=1658632/2055920 swapFree=4192812/4192956
[pid=2895] ppid=2893 vsize=867488 CPUtime=22.75
/proc/2895/stat : 2895 (java) S 2893 2895 2696 0 -1 0 20091 272 1 0 2265 10 0 0 18 0 9 0 28880030 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2895/statm: 216872 12450 2656 9 0 211308 0
[pid=2895/tid=2897] ppid=2893 vsize=867488 CPUtime=22.45
/proc/2895/task/2897/stat : 2897 (java) R 2893 2895 2696 0 -1 64 13989 272 1 0 2238 7 0 0 25 0 9 0 28880031 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4126785400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2898] ppid=2893 vsize=867488 CPUtime=0.07
/proc/2895/task/2898/stat : 2898 (java) S 2893 2895 2696 0 -1 64 4718 272 0 0 6 1 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2899] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2899/stat : 2899 (java) S 2893 2895 2696 0 -1 64 19 272 0 0 0 0 0 0 16 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2900] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2900/stat : 2900 (java) S 2893 2895 2696 0 -1 64 9 272 0 0 0 0 0 0 15 0 9 0 28880033 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2901] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2901/stat : 2901 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 18 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2902] ppid=2893 vsize=867488 CPUtime=0.2
/proc/2895/task/2902/stat : 2902 (java) S 2893 2895 2696 0 -1 64 547 272 0 0 20 0 0 0 16 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2903] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2903/stat : 2903 (java) S 2893 2895 2696 0 -1 64 0 272 0 0 0 0 0 0 19 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2895/tid=2904] ppid=2893 vsize=867488 CPUtime=0
/proc/2895/task/2904/stat : 2904 (java) S 2893 2895 2696 0 -1 64 2 272 0 0 0 0 0 0 15 0 9 0 28880035 888307712 12450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.75
Current children cumulated vsize (KiB) 867488
Child status: 0
Real time (s): 23.0958
CPU time (s): 22.8435
CPU user time (s): 22.7165
CPU system time (s): 0.12698
CPU usage (%): 98.9077
Max. virtual memory (cumulated for all children) (KiB): 867488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7165
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20481
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= 1688
involuntary context switches= 2158
runsolver used 0.037994 second user time and 0.080987 second system time
The end
Begin job on node69 at 2009-07-12 19:02:53
IDJOB=2099424
IDBENCH=60309
IDSOLVER=774
FILE ID=node69/2099424-1247418173
PBS_JOBID= 9510779
Free space on /tmp= 66496 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-57_ext.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-2099424-1247418173/watcher-2099424-1247418173 -o /tmp/evaluation-result-2099424-1247418173/solver-2099424-1247418173 -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-2099424-1247418173.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 49b96ffd55c0cccdf99521f48fa58199
RANDOM SEED=1841757061
node69.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.211
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.211
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: 1699064 kB
Buffers: 43528 kB
Cached: 124908 kB
SwapCached: 0 kB
Active: 231340 kB
Inactive: 67892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2792 kB
Writeback: 0 kB
Mapped: 151224 kB
Slab: 42496 kB
Committed_AS: 1005192 kB
PageTables: 2120 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= 66496 MiB
End job on node69 at 2009-07-12 19:03:16