0.02/0.08
0.02/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-2093482-1247401333.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.34 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25 nbTotalValues=625
0.29/0.34 => wckTime=0.101 cpuTime=0.09 mem=7M892
0.29/0.34
0.29/0.34 relations being loaded...
0.39/0.43
0.39/0.43 constraints being loaded...
0.59/0.64 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.59/0.64 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=825 minDegree=24
0.59/0.64 maxDegree=24 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.051 symmetryCpuTime=0.04
0.59/0.64 => wckTime=0.401 cpuTime=0.29 mem=19M668
0.68/0.71
0.68/0.71 solver IterativeSystematicSolver being built...
0.79/0.84 => wckTime=0.596 cpuTime=0.42 mem=21M642
0.79/0.88
0.79/0.88 preprocessing
0.79/0.88 nbConstraintChecks=52558 nbPropagations=643 nbRevisions=6255 nbUselessRevisions=5457 nbSingletonTests=33
0.79/0.88 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.79/0.88 => wckTime=0.047 cpuTime=0.02 mem=21M642
1.00/1.01
1.00/1.01 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M650)
29.61/29.98
29.61/29.98 search
29.61/29.98 run=19 nbConstraintChecks=159992359 minDepth=1 maxDepth=25 nbPropagations=5907917 nbRevisions=121921001
29.61/29.98 nbUselessRevisions=106412875 nbAssignments=111802 nbFailedAssignments=54173 nbBacktracks=57500
29.61/29.98 nbVisitedNodes=207804 nbRestartNogoods=168 nbFoundSolutions=1 nbSEliminables=6.13 nbREliminables=0
29.61/29.98 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
29.61/29.98 => wckTime=29.141 cpuTime=28.77 mem=22M650
29.61/29.98
29.61/29.98 global
29.61/29.98 nbConstraintChecks=160044917 nbPropagations=5908560 nbRevisions=121927256 nbUselessRevisions=106418332
29.61/29.98 nbRestartNogoods=168 solvingWckTime=29.144 solvingCpuTime=28.77 expiredTime=no totalExploration=no
29.61/29.98 nbFoundSolutions=1 firstSolutionCpuTime=29.19 globalCpuTime=29.24
29.61/29.98 => wckTime=29.742 cpuTime=29.2 mem=22M650
29.61/29.98
29.61/29.98 s SATISFIABLE
29.61/29.98 v 14 18 16 15 13 1 14 19 18 9 10 19 21 0 19 5 4 10 3 4 17 5 2 2 16
29.61/29.98 d NODES 111802
29.61/29.98 d CHECKS 160044917
29.61/29.98
29.61/29.98 totalWckTime=29.807 totalCpuTime=29.24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093482-1247401333/watcher-2093482-1247401333 -o /tmp/evaluation-result-2093482-1247401333/solver-2093482-1247401333 -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-2093482-1247401333.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.92 0.97 0.40 4/81 26516
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=324 CPUtime=0
/proc/26516/stat : 26516 (java) R 26514 26516 26046 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 27198096 331776 44 996147200 134512640 134550932 4294955968 18446744073709551615 1819428 0 0 4096 0 0 0 0 17 0 0 0
/proc/26516/statm: 81 44 33 9 0 6 0
[startup+0.0340899 s]
/proc/loadavg: 1.92 0.97 0.40 4/81 26516
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=861936 CPUtime=0.02
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 2209 0 1 0 1 1 0 0 18 0 5 0 27198096 882622464 1830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 215484 1831 846 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.102097 s]
/proc/loadavg: 1.92 0.97 0.40 4/81 26516
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=865980 CPUtime=0.09
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 3839 0 1 0 7 2 0 0 18 0 9 0 27198096 886763520 3282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 216495 3282 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301121 s]
/proc/loadavg: 1.92 0.97 0.40 4/81 26516
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=866500 CPUtime=0.29
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 6118 0 1 0 25 4 0 0 18 0 9 0 27198096 887296000 5484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 216625 5484 1987 9 0 211083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866500
[startup+0.702182 s]
/proc/loadavg: 1.92 0.97 0.40 4/81 26516
/proc/meminfo: memFree=1791800/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=867424 CPUtime=0.68
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 13794 162 1 0 61 7 0 0 18 0 10 0 27198096 888242176 9717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 216856 9717 2630 9 0 211314 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867424
[startup+1.50127 s]
/proc/loadavg: 1.92 0.97 0.40 4/92 26529
/proc/meminfo: memFree=1758672/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=1.49
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17477 285 1 0 140 9 0 0 18 0 9 0 27198096 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10875 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=1.17
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12075 285 1 0 111 6 0 0 21 0 9 0 27198097 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4126887140 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 17 0 9 0 27198099 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.23
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 694 285 0 0 23 0 0 0 16 0 9 0 27198101 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10875 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) 868668
[startup+3.10147 s]
/proc/loadavg: 1.93 0.98 0.41 3/90 26529
/proc/meminfo: memFree=1758424/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=3.07
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17486 285 1 0 298 9 0 0 18 0 9 0 27198096 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10883 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=2.74
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12077 285 1 0 268 6 0 0 25 0 9 0 27198097 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4126898850 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 17 0 9 0 27198099 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 701 285 0 0 24 0 0 0 15 0 9 0 27198101 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 868668
[startup+6.30288 s]
/proc/loadavg: 1.93 0.98 0.41 3/90 26529
/proc/meminfo: memFree=1758296/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=6.24
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17507 285 1 0 615 9 0 0 18 0 9 0 27198096 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10887 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=5.91
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12083 285 1 0 585 6 0 0 25 0 9 0 27198097 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4126913038 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 702 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868668
[startup+12.7017 s]
/proc/loadavg: 1.94 1.02 0.42 3/90 26529
/proc/meminfo: memFree=1758048/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=12.58
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17510 285 1 0 1249 9 0 0 18 0 9 0 27198096 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10889 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=12.25
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12085 285 1 0 1219 6 0 0 25 0 9 0 27198097 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4126383703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10889 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 868668
[startup+25.5023 s]
/proc/loadavg: 1.95 1.05 0.44 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=25.26
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17512 285 1 0 2517 9 0 0 18 0 9 0 27198096 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10891 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=24.94
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12087 285 1 0 2487 7 0 0 25 0 9 0 27198097 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4126095872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868668
Solver just ended. Dumping a history of the last processes samples
[startup+27.1015 s]
/proc/loadavg: 1.95 1.05 0.44 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=26.84
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17512 285 1 0 2675 9 0 0 18 0 9 0 27198096 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10891 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=26.52
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12087 285 1 0 2645 7 0 0 25 0 9 0 27198097 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4126897351 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.84
Current children cumulated vsize (KiB) 868668
[startup+28.7017 s]
/proc/loadavg: 1.95 1.06 0.45 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=28.42
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17512 285 1 0 2833 9 0 0 18 0 9 0 27198096 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10891 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=28.1
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12087 285 1 0 2803 7 0 0 25 0 9 0 27198097 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4126895689 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.42
Current children cumulated vsize (KiB) 868668
[startup+29.5018 s]
/proc/loadavg: 1.95 1.06 0.45 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=29.22
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17512 285 1 0 2913 9 0 0 18 0 9 0 27198096 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10891 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=28.9
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12087 285 1 0 2883 7 0 0 25 0 9 0 27198097 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4126887102 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.22
Current children cumulated vsize (KiB) 868668
[startup+29.9019 s]
/proc/loadavg: 1.95 1.06 0.45 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=29.61
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17512 285 1 0 2952 9 0 0 18 0 9 0 27198096 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10891 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=29.29
/proc/26516/task/26518/stat : 26518 (java) R 26514 26516 26046 0 -1 64 12087 285 1 0 2922 7 0 0 25 0 9 0 27198097 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4126895708 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 703 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (KiB) 868668
[startup+30.0019 s]
/proc/loadavg: 1.95 1.06 0.45 3/90 26529
/proc/meminfo: memFree=1758056/2055920 swapFree=4192812/4192956
[pid=26516] ppid=26514 vsize=868668 CPUtime=29.7
/proc/26516/stat : 26516 (java) S 26514 26516 26046 0 -1 0 17609 285 1 0 2961 9 0 0 18 0 9 0 27198096 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26516/statm: 217167 10987 2656 9 0 211603 0
[pid=26516/tid=26518] ppid=26514 vsize=868668 CPUtime=29.38
/proc/26516/task/26518/stat : 26518 (java) S 26514 26516 26046 0 -1 64 12183 285 1 0 2931 7 0 0 25 0 9 0 27198097 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26519] ppid=26514 vsize=868668 CPUtime=0.05
/proc/26516/task/26519/stat : 26519 (java) S 26514 26516 26046 0 -1 64 3868 285 0 0 5 0 0 0 16 0 9 0 27198099 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26520] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26520/stat : 26520 (java) S 26514 26516 26046 0 -1 64 19 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26521] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26521/stat : 26521 (java) S 26514 26516 26046 0 -1 64 9 285 0 0 0 0 0 0 16 0 9 0 27198099 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26522] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26522/stat : 26522 (java) S 26514 26516 26046 0 -1 64 2 285 0 0 0 0 0 0 24 0 9 0 27198101 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26523] ppid=26514 vsize=868668 CPUtime=0.24
/proc/26516/task/26523/stat : 26523 (java) S 26514 26516 26046 0 -1 64 704 285 0 0 24 0 0 0 16 0 9 0 27198101 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26516/tid=26524] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26524/stat : 26524 (java) S 26514 26516 26046 0 -1 64 0 285 0 0 0 0 0 0 25 0 9 0 27198101 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26516/tid=26525] ppid=26514 vsize=868668 CPUtime=0
/proc/26516/task/26525/stat : 26525 (java) S 26514 26516 26046 0 -1 64 23 285 0 0 0 0 0 0 15 0 9 0 27198101 889516032 10987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (KiB) 868668
Child status: 0
Real time (s): 30.0227
CPU time (s): 29.7305
CPU user time (s): 29.6165
CPU system time (s): 0.113982
CPU usage (%): 99.0268
Max. virtual memory (cumulated for all children) (KiB): 868712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.6165
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17923
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= 1760
involuntary context switches= 1829
runsolver used 0.040993 second user time and 0.108983 second system time
The end
Begin job on node54 at 2009-07-12 14:22:13
IDJOB=2093482
IDBENCH=53594
IDSOLVER=774
FILE ID=node54/2093482-1247401333
PBS_JOBID= 9510538
Free space on /tmp= 66412 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-25/normalized-rand-25-25-300-147-53021_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-2093482-1247401333/watcher-2093482-1247401333 -o /tmp/evaluation-result-2093482-1247401333/solver-2093482-1247401333 -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-2093482-1247401333.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b093d1eee6128493ee5528d2a633370a
RANDOM SEED=1247427643
node54.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.232
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.232
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: 1792280 kB
Buffers: 32400 kB
Cached: 122164 kB
SwapCached: 0 kB
Active: 136768 kB
Inactive: 73892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2716 kB
Writeback: 0 kB
Mapped: 76400 kB
Slab: 38140 kB
Committed_AS: 995132 kB
PageTables: 1848 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node54 at 2009-07-12 14:22:43