0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.08/0.25
0.08/0.25 configuration
0.08/0.25 name=esac.xml
0.28/0.29
0.28/0.29 instance
0.28/0.29 name=HOME/instance-2099362-1247418080.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.29/0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8 nbTotalValues=320
0.29/0.37 => wckTime=0.112 cpuTime=0.09 mem=7M892
0.29/0.37
0.29/0.37 relations being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
0.68/0.80 nbConstraints=753 nbRelationTypes=751 nbExtensionStructures=751 nbSharedExtensionStructures=2
0.68/0.80 nbConflictsStructures=751 nbSharedConflictsStructures=2 nbSharedBinaryRepresentations=11873 minDegree=34
0.68/0.80 maxDegree=39 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.088 symmetryCpuTime=0.04
0.68/0.80 => wckTime=0.539 cpuTime=0.33 mem=19M686
0.76/0.86
0.76/0.86 solver IterativeSystematicSolver being built...
0.96/1.00 => wckTime=0.747 cpuTime=0.46 mem=20M576
0.96/1.07
0.96/1.07 preprocessing
0.96/1.07 nbConstraintChecks=24914 nbPropagations=927 nbRevisions=5429 nbUselessRevisions=4275 nbSingletonTests=53
0.96/1.07 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.96/1.07 => wckTime=0.061 cpuTime=0.04 mem=20M576
1.07/1.18
1.07/1.18 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M568)
2.36/2.46
2.36/2.46 search
2.36/2.46 run=10 nbConstraintChecks=3391136 minDepth=2 maxDepth=40 nbPropagations=211537 nbRevisions=3623419
2.36/2.46 nbUselessRevisions=3136653 nbAssignments=4831 nbFailedAssignments=1379 nbInferredBacktracks=1 nbBacktracks=3332
2.36/2.46 nbVisitedNodes=7727 nbRestartNogoods=41 nbFoundSolutions=1 nbSEliminables=9.96 nbREliminables=1.35
2.36/2.46 nbIEliminables=0.04 nbDEliminables=0 nbPEliminables=0
2.36/2.46 => wckTime=1.456 cpuTime=1.35 mem=21M568
2.36/2.47
2.36/2.47 global
2.36/2.47 nbConstraintChecks=3416050 nbPropagations=212464 nbRevisions=3628848 nbUselessRevisions=3140928
2.36/2.47 nbRestartNogoods=41 solvingWckTime=1.459 solvingCpuTime=1.35 expiredTime=no totalExploration=no
2.36/2.47 nbFoundSolutions=1 firstSolutionCpuTime=1.81 globalCpuTime=1.86
2.36/2.47 => wckTime=2.208 cpuTime=1.81 mem=21M568
2.36/2.47
2.36/2.47 s SATISFIABLE
2.36/2.47 v 4 7 0 7 0 4 5 6 6 5 5 1 2 2 0 2 6 0 2 2 3 0 1 2 4 0 5 5 3 5 2 6 1 7 3 5 0 5 5 6
2.36/2.47 d NODES 4831
2.36/2.47 d CHECKS 3416050
2.36/2.47
2.36/2.47 totalWckTime=2.279 totalCpuTime=1.87
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099362-1247418080/watcher-2099362-1247418080 -o /tmp/evaluation-result-2099362-1247418080/solver-2099362-1247418080 -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-2099362-1247418080.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.99 1.99 2.00 4/80 28436
/proc/meminfo: memFree=1752940/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=862776 CPUtime=0.04
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 2419 0 1 0 3 1 0 0 18 0 7 0 28875167 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 215694 1992 910 9 0 210609 0
[pid=28436/tid=28437] ppid=28434 vsize=862776 CPUtime=0.02
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 1707 0 1 0 2 0 0 0 18 0 7 0 28875168 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=862776 CPUtime=0
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 28875169 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=862776 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 11 0 0 0 0 0 0 0 19 0 7 0 28875169 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=862776 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 28875169 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=862776 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 18 0 7 0 28875171 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=862776 CPUtime=0
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 15 0 0 0 0 0 0 0 19 0 7 0 28875171 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.08239 s]
/proc/loadavg: 1.99 1.99 2.00 4/80 28436
/proc/meminfo: memFree=1752940/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=865956 CPUtime=0.08
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 3625 0 1 0 6 2 0 0 18 0 9 0 28875167 886738944 3108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 216496 3188 1695 9 0 210981 0
[pid=28436/tid=28437] ppid=28434 vsize=865984 CPUtime=0.11
/proc/28436/task/28437/stat : 28437 (java) D 28434 28436 28115 0 -1 64 3355 0 1 0 10 1 0 0 20 0 9 0 28875168 886767616 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 18446744072099781622 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=866144 CPUtime=0
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 28875169 886931456 3806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=866144 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28875169 886931456 3806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=866144 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28875169 886931456 3806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=866144 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28875171 886931456 3806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=866144 CPUtime=0.01
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 231 0 0 0 1 0 0 0 17 0 9 0 28875171 886931456 3806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865956
[startup+0.289946 s]
/proc/loadavg: 1.99 1.99 2.00 4/80 28436
/proc/meminfo: memFree=1752940/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=866300 CPUtime=0.28
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 5713 0 1 0 24 4 0 0 18 0 9 0 28875167 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 216575 5116 1928 9 0 211053 0
[pid=28436/tid=28437] ppid=28434 vsize=866300 CPUtime=0.22
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 4731 0 1 0 19 3 0 0 21 0 9 0 28875168 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 8663844 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=866300 CPUtime=0
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 28875169 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=866300 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28875169 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=866300 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28875169 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=866300 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28875171 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=866300 CPUtime=0.04
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 285 0 0 0 4 0 0 0 16 0 9 0 28875171 887091200 5116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.30341 s]
/proc/loadavg: 1.99 1.99 2.00 4/80 28436
/proc/meminfo: memFree=1752940/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=866380 CPUtime=0.29
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 5890 0 1 0 25 4 0 0 18 0 9 0 28875167 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 216595 5256 1983 9 0 211053 0
[pid=28436/tid=28437] ppid=28434 vsize=866380 CPUtime=0.23
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 4908 0 1 0 20 3 0 0 21 0 9 0 28875168 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 104264330 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=866380 CPUtime=0
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 28875169 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=866380 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28875169 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=866380 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28875169 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=866380 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28875171 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=866380 CPUtime=0.04
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 285 0 0 0 4 0 0 0 16 0 9 0 28875171 887173120 5256 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.702457 s]
/proc/loadavg: 1.99 1.99 2.00 4/80 28436
/proc/meminfo: memFree=1752940/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=867428 CPUtime=0.68
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 8897 0 1 0 63 5 0 0 18 0 9 0 28875167 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 216857 8250 2016 9 0 211315 0
[pid=28436/tid=28437] ppid=28434 vsize=867428 CPUtime=0.48
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 7558 0 1 0 44 4 0 0 23 0 9 0 28875168 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4126606604 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=867428 CPUtime=0
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 28875169 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=867428 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28875169 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=867428 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28875169 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=867428 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28875171 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=867428 CPUtime=0.18
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 642 0 0 0 18 0 0 0 16 0 9 0 28875171 888246272 8250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867428
[startup+1.50154 s]
/proc/loadavg: 1.99 1.99 2.00 4/89 28449
/proc/meminfo: memFree=1720228/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=868288 CPUtime=1.47
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 17319 310 1 0 139 8 0 0 18 0 9 0 28875167 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 217072 10779 2656 9 0 211508 0
[pid=28436/tid=28437] ppid=28434 vsize=868288 CPUtime=1.09
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 12488 310 1 0 104 5 0 0 25 0 9 0 28875168 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4127042440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=868288 CPUtime=0.05
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 3115 310 0 0 5 0 0 0 16 0 9 0 28875169 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 19 310 0 0 0 0 0 0 16 0 9 0 28875169 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 9 310 0 0 0 0 0 0 15 0 9 0 28875169 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 310 0 0 0 0 0 0 18 0 9 0 28875171 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=868288 CPUtime=0.29
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 868 310 0 0 28 1 0 0 15 0 9 0 28875171 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28444] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28444/stat : 28444 (java) S 28434 28436 28115 0 -1 64 0 310 0 0 0 0 0 0 19 0 9 0 28875172 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28445] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28445/stat : 28445 (java) S 28434 28436 28115 0 -1 64 3 310 0 0 0 0 0 0 15 0 9 0 28875172 889126912 10779 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868288
Solver just ended. Dumping a history of the last processes samples
[startup+1.60156 s]
/proc/loadavg: 1.99 1.99 2.00 4/89 28449
/proc/meminfo: memFree=1720228/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=868288 CPUtime=1.56
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 17327 310 1 0 148 8 0 0 18 0 9 0 28875167 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 217072 10787 2656 9 0 211508 0
[pid=28436/tid=28437] ppid=28434 vsize=868288 CPUtime=1.17
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 12488 310 1 0 112 5 0 0 25 0 9 0 28875168 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4127047059 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=868288 CPUtime=0.05
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 3115 310 0 0 5 0 0 0 16 0 9 0 28875169 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 19 310 0 0 0 0 0 0 16 0 9 0 28875169 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 9 310 0 0 0 0 0 0 15 0 9 0 28875169 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 310 0 0 0 0 0 0 18 0 9 0 28875171 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=868288 CPUtime=0.3
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 876 310 0 0 29 1 0 0 15 0 9 0 28875171 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28444] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28444/stat : 28444 (java) S 28434 28436 28115 0 -1 64 0 310 0 0 0 0 0 0 19 0 9 0 28875172 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28445] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28445/stat : 28445 (java) S 28434 28436 28115 0 -1 64 3 310 0 0 0 0 0 0 15 0 9 0 28875172 889126912 10787 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 868288
[startup+2.0016 s]
/proc/loadavg: 1.99 1.99 2.00 4/89 28449
/proc/meminfo: memFree=1720228/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=868288 CPUtime=1.96
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 17340 310 1 0 188 8 0 0 18 0 9 0 28875167 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 217072 10799 2656 9 0 211508 0
[pid=28436/tid=28437] ppid=28434 vsize=868288 CPUtime=1.55
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 12491 310 1 0 150 5 0 0 25 0 9 0 28875168 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4127052478 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=868288 CPUtime=0.05
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 3115 310 0 0 5 0 0 0 17 0 9 0 28875169 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 19 310 0 0 0 0 0 0 16 0 9 0 28875169 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 9 310 0 0 0 0 0 0 15 0 9 0 28875169 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 310 0 0 0 0 0 0 18 0 9 0 28875171 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=868288 CPUtime=0.32
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 886 310 0 0 31 1 0 0 16 0 9 0 28875171 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28444] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28444/stat : 28444 (java) S 28434 28436 28115 0 -1 64 0 310 0 0 0 0 0 0 19 0 9 0 28875172 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28445] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28445/stat : 28445 (java) S 28434 28436 28115 0 -1 64 3 310 0 0 0 0 0 0 15 0 9 0 28875172 889126912 10799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 868288
[startup+2.40164 s]
/proc/loadavg: 1.99 1.99 2.00 3/89 28449
/proc/meminfo: memFree=1719844/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=868288 CPUtime=2.36
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 17341 310 1 0 228 8 0 0 18 0 9 0 28875167 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 217072 10800 2656 9 0 211508 0
[pid=28436/tid=28437] ppid=28434 vsize=868288 CPUtime=1.95
/proc/28436/task/28437/stat : 28437 (java) R 28434 28436 28115 0 -1 64 12491 310 1 0 190 5 0 0 25 0 9 0 28875168 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4126095863 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=868288 CPUtime=0.05
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 3115 310 0 0 5 0 0 0 17 0 9 0 28875169 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 19 310 0 0 0 0 0 0 16 0 9 0 28875169 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 9 310 0 0 0 0 0 0 15 0 9 0 28875169 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 310 0 0 0 0 0 0 18 0 9 0 28875171 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=868288 CPUtime=0.32
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 887 310 0 0 31 1 0 0 16 0 9 0 28875171 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28444] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28444/stat : 28444 (java) S 28434 28436 28115 0 -1 64 0 310 0 0 0 0 0 0 19 0 9 0 28875172 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28445] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28445/stat : 28445 (java) S 28434 28436 28115 0 -1 64 3 310 0 0 0 0 0 0 15 0 9 0 28875172 889126912 10800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 868288
[startup+2.50165 s]
/proc/loadavg: 1.99 1.99 2.00 3/89 28449
/proc/meminfo: memFree=1719844/2055920 swapFree=4192812/4192956
[pid=28436] ppid=28434 vsize=868288 CPUtime=2.43
/proc/28436/stat : 28436 (java) S 28434 28436 28115 0 -1 0 17445 310 1 0 235 8 0 0 18 0 9 0 28875167 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28436/statm: 217072 10903 2656 9 0 211508 0
[pid=28436/tid=28437] ppid=28434 vsize=868288 CPUtime=2.02
/proc/28436/task/28437/stat : 28437 (java) S 28434 28436 28115 0 -1 64 12593 310 1 0 197 5 0 0 25 0 9 0 28875168 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28438] ppid=28434 vsize=868288 CPUtime=0.05
/proc/28436/task/28438/stat : 28438 (java) S 28434 28436 28115 0 -1 64 3115 310 0 0 5 0 0 0 17 0 9 0 28875169 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28439] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28439/stat : 28439 (java) S 28434 28436 28115 0 -1 64 19 310 0 0 0 0 0 0 16 0 9 0 28875169 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28440] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28440/stat : 28440 (java) S 28434 28436 28115 0 -1 64 9 310 0 0 0 0 0 0 15 0 9 0 28875169 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28441] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28441/stat : 28441 (java) S 28434 28436 28115 0 -1 64 2 310 0 0 0 0 0 0 18 0 9 0 28875171 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28442] ppid=28434 vsize=868288 CPUtime=0.32
/proc/28436/task/28442/stat : 28442 (java) S 28434 28436 28115 0 -1 64 889 310 0 0 31 1 0 0 15 0 9 0 28875171 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28444] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28444/stat : 28444 (java) S 28434 28436 28115 0 -1 64 0 310 0 0 0 0 0 0 19 0 9 0 28875172 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28436/tid=28445] ppid=28434 vsize=868288 CPUtime=0
/proc/28436/task/28445/stat : 28445 (java) S 28434 28436 28115 0 -1 64 3 310 0 0 0 0 0 0 15 0 9 0 28875172 889126912 10903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 868288
Child status: 0
Real time (s): 2.5174
CPU time (s): 2.45463
CPU user time (s): 2.35864
CPU system time (s): 0.095985
CPU usage (%): 97.5066
Max. virtual memory (cumulated for all children) (KiB): 868288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35864
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17782
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= 1571
involuntary context switches= 1667
runsolver used 0.005999 second user time and 0.014997 second system time
The end
Begin job on node9 at 2009-07-12 19:01:20
IDJOB=2099362
IDBENCH=60182
IDSOLVER=774
FILE ID=node9/2099362-1247418080
PBS_JOBID= 9510693
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tightness0.1/normalized-rand-2-40-8-753-100-56_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-2099362-1247418080/watcher-2099362-1247418080 -o /tmp/evaluation-result-2099362-1247418080/solver-2099362-1247418080 -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-2099362-1247418080.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 39a0aab9c602f823f57dbbfd85b5cea4
RANDOM SEED=305431882
node9.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.216
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.216
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: 1753420 kB
Buffers: 43400 kB
Cached: 126600 kB
SwapCached: 0 kB
Active: 166956 kB
Inactive: 77864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1753420 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2452 kB
Writeback: 0 kB
Mapped: 95248 kB
Slab: 42804 kB
Committed_AS: 994728 kB
PageTables: 1908 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= 66396 MiB
End job on node9 at 2009-07-12 19:01:23