0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2095170-1247406668.xml
0.28/0.31
0.28/0.32 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.36 nbVariables=50 nbDomainTypes=5 minDomainSize=1 maxDomainSize=22 nbTotalValues=722
0.28/0.36 => wckTime=0.108 cpuTime=0.09 mem=7M892
0.28/0.36
0.28/0.36 predicates being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.78/0.88 nbConstraints=152 nbSingletonDomainVariables=2 nbConflictsStructures=28 nbSharedConflictsStructures=4
0.78/0.88 nbUnbuiltConflictsStructures=94 nbSharedBinaryRepresentations=0 nbEvaluationManagers=122
0.78/0.88 nbSharedEvaluationManagers=30 minDegree=16 maxDegree=17 minArity=3 avgArity=5.37 maxArity=6 nbGenerators=0
0.78/0.88 nbFusions=0 symmetryWckTime=0.068 symmetryCpuTime=0.04
0.78/0.88 => wckTime=0.627 cpuTime=0.49 mem=29M421
0.87/0.95
0.87/0.95 solver IterativeSystematicSolver being built...
1.07/1.11 => wckTime=0.859 cpuTime=0.63 mem=23M361
1.26/1.38
1.26/1.38 preprocessing
1.26/1.38 nbConstraintChecks=148173 nbValidityChecks=67352 nbPropagations=194 nbRevisions=5996 nbUselessRevisions=5862
1.26/1.38 nbSingletonTests=79 nbEffectiveSingletonTests=0 nbACRemovals=114 nbFoundSingletons=0 nbRemovedValues=114
1.26/1.38 detectedInconsistency=no
1.26/1.38 => wckTime=0.268 cpuTime=0.24 mem=23M361
2.65/2.70
2.65/2.70 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M334)
16.74/16.88
16.74/16.88 search
16.74/16.88 run=15 nbConstraintChecks=11379145 nbValidityChecks=8210348 minDepth=27 maxDepth=50 nbPropagations=138488
16.74/16.88 nbRevisions=3120274 nbUselessRevisions=2924722 nbAssignments=11760 nbFailedAssignments=8871 nbBacktracks=2289
16.74/16.88 nbVisitedNodes=22025 nbRestartNogoods=366 nbFoundSolutions=1 nbSEliminables=1.22 nbREliminables=3.78
16.74/16.88 nbIEliminables=16.55 nbDEliminables=0 nbPEliminables=0
16.74/16.88 => wckTime=15.771 cpuTime=15.63 mem=25M274
16.74/16.88
16.74/16.88 global
16.74/16.88 nbConstraintChecks=11527318 nbValidityChecks=8277700 nbPropagations=138682 nbRevisions=3126270
16.74/16.88 nbUselessRevisions=2930584 nbRestartNogoods=366 solvingWckTime=15.773 solvingCpuTime=15.63 expiredTime=no
16.74/16.88 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=16.26 globalCpuTime=16.3
16.74/16.88 => wckTime=16.634 cpuTime=16.27 mem=25M274
16.74/16.88
16.74/16.88 s SATISFIABLE
16.74/16.88 v 21 20 6 16 0 18 6 0 18 14 0 11 7 0 3 6 0 3 14 0 11 0 0 3 11 0 3 0 0 18 11 0 18 0 0 0 16 0 0 10 0 0 0 0 8 10 0 8 0 0
16.74/16.88 d NODES 11760
16.74/16.88 d CHECKS 11527318
16.74/16.88
16.74/16.88 totalWckTime=16.7 totalCpuTime=16.3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095170-1247406668/watcher-2095170-1247406668 -o /tmp/evaluation-result-2095170-1247406668/solver-2095170-1247406668 -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-2095170-1247406668.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.94 4/80 29009
/proc/meminfo: memFree=1697112/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=1616 CPUtime=0
/proc/29009/stat : 29009 (java) D 29007 29009 27955 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 27733789 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/29009/statm: 404 145 119 9 0 46 0
[startup+0.068163 s]
/proc/loadavg: 2.02 2.01 1.94 4/80 29009
/proc/meminfo: memFree=1697112/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=864104 CPUtime=0.05
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 2915 0 1 0 3 2 0 0 18 0 9 0 27733789 884842496 2425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 216026 2425 1150 9 0 210919 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864104
[startup+0.101165 s]
/proc/loadavg: 2.02 2.01 1.94 4/80 29009
/proc/meminfo: memFree=1697112/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=865940 CPUtime=0.08
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 3735 0 1 0 6 2 0 0 18 0 9 0 27733789 886722560 3203 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 216485 3203 1700 9 0 210970 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865940
[startup+0.301185 s]
/proc/loadavg: 2.02 2.01 1.94 4/80 29009
/proc/meminfo: memFree=1697112/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=866432 CPUtime=0.28
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 5961 0 1 0 24 4 0 0 18 0 9 0 27733789 887226368 5327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 216608 5329 1984 9 0 211066 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866432
[startup+0.701223 s]
/proc/loadavg: 2.02 2.01 1.94 4/80 29009
/proc/meminfo: memFree=1697112/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=867248 CPUtime=0.68
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 9657 0 1 0 62 6 0 0 18 0 9 0 27733789 888061952 9011 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 216812 9012 2035 9 0 211248 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867248
[startup+1.5013 s]
/proc/loadavg: 2.02 2.01 1.94 3/89 29022
/proc/meminfo: memFree=1658496/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=1.46
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20296 288 1 0 135 11 0 0 18 0 9 0 27733789 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12273 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=1.15
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15285 288 1 0 107 8 0 0 20 0 9 0 27733791 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4126982903 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 17 0 9 0 27733792 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.22
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 718 288 0 0 22 0 0 0 15 0 9 0 27733794 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 6 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868596
[startup+3.10245 s]
/proc/loadavg: 2.01 2.01 1.94 3/89 29022
/proc/meminfo: memFree=1658048/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=3.06
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20344 288 1 0 294 12 0 0 18 0 9 0 27733789 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12291 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=2.71
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15314 288 1 0 263 8 0 0 25 0 9 0 27733791 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4126968325 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 17 0 9 0 27733792 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.25
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 737 288 0 0 25 0 0 0 16 0 9 0 27733794 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 6 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868596
[startup+6.30278 s]
/proc/loadavg: 2.01 2.01 1.94 2/76 29041
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=6.24
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20378 288 1 0 612 12 0 0 18 0 9 0 27733789 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12305 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=5.88
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15321 288 1 0 579 9 0 0 25 0 9 0 27733791 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4126968346 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.27
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 751 288 0 0 27 0 0 0 16 0 9 0 27733794 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12305 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) 868596
[startup+12.7024 s]
/proc/loadavg: 2.09 2.02 1.95 3/89 29059
/proc/meminfo: memFree=1646800/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=12.64
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20401 288 1 0 1251 13 0 0 18 0 9 0 27733789 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12317 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=12.26
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15333 288 1 0 1217 9 0 0 25 0 9 0 27733791 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4126958391 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.28
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 762 288 0 0 28 0 0 0 16 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 868596
Solver just ended. Dumping a history of the last processes samples
[startup+14.3076 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 29059
/proc/meminfo: memFree=1641232/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=14.25
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20401 288 1 0 1412 13 0 0 18 0 9 0 27733789 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12317 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=13.87
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15333 288 1 0 1378 9 0 0 25 0 9 0 27733791 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4126958476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.28
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 762 288 0 0 28 0 0 0 16 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (KiB) 868596
[startup+15.9017 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 29059
/proc/meminfo: memFree=1636880/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=15.84
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20401 288 1 0 1571 13 0 0 18 0 9 0 27733789 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12317 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=15.46
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15333 288 1 0 1537 9 0 0 25 0 9 0 27733791 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4126967036 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.28
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 762 288 0 0 28 0 0 0 16 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (KiB) 868596
[startup+16.7018 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 29059
/proc/meminfo: memFree=1634896/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=16.64
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20401 288 1 0 1651 13 0 0 18 0 9 0 27733789 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12317 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=16.26
/proc/29009/task/29011/stat : 29011 (java) R 29007 29009 27955 0 -1 64 15333 288 1 0 1617 9 0 0 25 0 9 0 27733791 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4126966102 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.28
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 762 288 0 0 28 0 0 0 16 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.64
Current children cumulated vsize (KiB) 868596
[startup+16.9018 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 29059
/proc/meminfo: memFree=1634896/2055920 swapFree=4192812/4192956
[pid=29009] ppid=29007 vsize=868596 CPUtime=16.83
/proc/29009/stat : 29009 (java) S 29007 29009 27955 0 -1 0 20473 288 1 0 1670 13 0 0 18 0 9 0 27733789 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29009/statm: 217149 12324 2657 9 0 211585 0
[pid=29009/tid=29011] ppid=29007 vsize=868596 CPUtime=16.45
/proc/29009/task/29011/stat : 29011 (java) S 29007 29009 27955 0 -1 64 15405 288 1 0 1636 9 0 0 25 0 9 0 27733791 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29012] ppid=29007 vsize=868596 CPUtime=0.05
/proc/29009/task/29012/stat : 29012 (java) S 29007 29009 27955 0 -1 64 3457 288 0 0 5 0 0 0 16 0 9 0 27733792 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29013] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29013/stat : 29013 (java) S 29007 29009 27955 0 -1 64 17 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29009/tid=29014] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29014/stat : 29014 (java) S 29007 29009 27955 0 -1 64 10 288 0 0 0 0 0 0 16 0 9 0 27733792 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29015] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29015/stat : 29015 (java) S 29007 29009 27955 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27733794 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29016] ppid=29007 vsize=868596 CPUtime=0.28
/proc/29009/task/29016/stat : 29016 (java) S 29007 29009 27955 0 -1 64 762 288 0 0 28 0 0 0 16 0 9 0 27733794 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29017] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29017/stat : 29017 (java) S 29007 29009 27955 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27733794 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29009/tid=29018] ppid=29007 vsize=868596 CPUtime=0
/proc/29009/task/29018/stat : 29018 (java) S 29007 29009 27955 0 -1 64 19 288 0 0 0 0 0 0 15 0 9 0 27733794 889442304 12324 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.83
Current children cumulated vsize (KiB) 868596
Child status: 0
Real time (s): 16.9141
CPU time (s): 16.8544
CPU user time (s): 16.7045
CPU system time (s): 0.149977
CPU usage (%): 99.6473
Max. virtual memory (cumulated for all children) (KiB): 868596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7045
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20790
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= 1728
involuntary context switches= 1752
runsolver used 0.033994 second user time and 0.058991 second system time
The end
Begin job on node12 at 2009-07-12 15:51:08
IDJOB=2095170
IDBENCH=54944
IDSOLVER=774
FILE ID=node12/2095170-1247406668
PBS_JOBID= 9510620
Free space on /tmp= 66212 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tdsp/normalized-C1-3-21.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-2095170-1247406668/watcher-2095170-1247406668 -o /tmp/evaluation-result-2095170-1247406668/solver-2095170-1247406668 -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-2095170-1247406668.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 84b60139dc873049524d1b88c8843ae4
RANDOM SEED=374029578
node12.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.240
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.240
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: 1697528 kB
Buffers: 40356 kB
Cached: 141132 kB
SwapCached: 140 kB
Active: 199436 kB
Inactive: 89708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 127960 kB
Slab: 54344 kB
Committed_AS: 994600 kB
PageTables: 1948 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= 66212 MiB
End job on node12 at 2009-07-12 15:51:25