0.06/0.08
0.06/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-2096130-1247409951.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.34 nbVariables=25 nbDomainTypes=25 minDomainSize=203 maxDomainSize=291 nbTotalValues=5974
0.29/0.34 => wckTime=0.106 cpuTime=0.1 mem=7M892
0.29/0.34
0.29/0.34 predicates being loaded...
0.39/0.40
0.39/0.40 constraints being loaded...
1.99/2.03 nbConstraints=105 nbGlobalConstraints=5 nbConvertedConstraints=100 nbConvertConstraintsChecks=5697934
1.99/2.03 nbExtensionStructures=100 nbSharedExtensionStructures=3 nbConflictsStructures=100 nbSharedConflictsStructures=3
1.99/2.03 nbSharedBinaryRepresentations=20785 minDegree=9 maxDegree=9 minArity=2 avgArity=2.14 maxArity=5
1.99/2.03 nbGenerators=0 nbFusions=0 symmetryWckTime=0.05 symmetryCpuTime=0.03 nbCliques=5
1.99/2.03 => wckTime=1.785 cpuTime=1.69 mem=19M604
1.99/2.08
1.99/2.08 solver IterativeSystematicSolver being built...
2.09/2.15
2.09/2.15 INFO : Forward propagation technique limited
2.19/2.21 => wckTime=1.968 cpuTime=1.8 mem=21M605
2.28/2.36
2.28/2.36 preprocessing
2.28/2.36 nbConstraintChecks=1688117 nbPropagations=1408 nbRevisions=3817 nbUselessRevisions=1594 nbSingletonTests=149
2.28/2.36 nbEffectiveSingletonTests=14 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=14 detectedInconsistency=no
2.28/2.36 => wckTime=0.151 cpuTime=0.13 mem=25M522
4.28/4.33
4.28/4.33 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=17M844)
4.48/4.58
4.48/4.58 search
4.48/4.58 run=12 nbConstraintChecks=43961412 minDepth=0 maxDepth=2 nbPropagations=120035 nbRevisions=362136
4.48/4.58 nbUselessRevisions=125541 nbAssignments=3961 nbFailedAssignments=3813 nbBacktracks=137 nbVisitedNodes=7908
4.48/4.58 nbRestartNogoods=291 nbSEliminables=0 nbREliminables=4.09 nbIEliminables=19.53 nbDEliminables=0
4.48/4.58 nbPEliminables=0
4.48/4.58 => wckTime=2.37 cpuTime=2.27 mem=20M761
4.48/4.58
4.48/4.58 global
4.48/4.58 nbConstraintChecks=45649529 nbPropagations=121443 nbRevisions=365953 nbUselessRevisions=127135
4.48/4.58 nbRestartNogoods=291 solvingWckTime=2.372 solvingCpuTime=2.27 expiredTime=no totalExploration=yes
4.48/4.58 nbFoundSolutions=0 globalCpuTime=4.1
4.48/4.58 => wckTime=4.342 cpuTime=4.07 mem=20M761
4.48/4.58
4.48/4.58 s UNSATISFIABLE
4.48/4.58 d NODES 3961
4.48/4.58 d CHECKS 45649529
4.48/4.58
4.48/4.58 totalWckTime=4.408 totalCpuTime=4.11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096130-1247409951/watcher-2096130-1247409951 -o /tmp/evaluation-result-2096130-1247409951/solver-2096130-1247409951 -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-2096130-1247409951.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 324
/proc/meminfo: memFree=1778408/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=152 CPUtime=0
/proc/324/stat : 324 (java) R 322 324 30423 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 28061476 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 0 0 0
/proc/324/statm: 50 33 26 9 0 4 0
[startup+0.070455 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 324
/proc/meminfo: memFree=1778408/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=864144 CPUtime=0.06
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 3087 0 1 0 4 2 0 0 18 0 9 0 28061476 884883456 2572 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216036 2572 1226 9 0 210929 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864144
[startup+0.10146 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 324
/proc/meminfo: memFree=1778408/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=865980 CPUtime=0.09
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 3841 0 1 0 7 2 0 0 18 0 9 0 28061476 886763520 3284 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216495 3288 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301504 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 324
/proc/meminfo: memFree=1778408/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=866500 CPUtime=0.29
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 6122 0 1 0 25 4 0 0 18 0 9 0 28061476 887296000 5488 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216623 5489 1987 9 0 211081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866500
[startup+0.701579 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 324
/proc/meminfo: memFree=1778408/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=866720 CPUtime=0.69
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 7862 0 1 0 63 6 0 0 18 0 9 0 28061476 887521280 7214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216680 7214 2036 9 0 211116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866720
[startup+1.50273 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 333
/proc/meminfo: memFree=1756384/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=866720 CPUtime=1.49
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 8583 0 1 0 142 7 0 0 18 0 9 0 28061476 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216680 7934 2038 9 0 211116 0
[pid=324/tid=326] ppid=322 vsize=866720 CPUtime=1.37
/proc/324/task/326/stat : 326 (java) R 322 324 30423 0 -1 64 7522 0 1 0 132 5 0 0 25 0 9 0 28061477 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4126664929 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28061478 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 28061478 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 28061478 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28061480 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=866720 CPUtime=0.09
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 363 0 0 0 9 0 0 0 16 0 9 0 28061480 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28061480 887521280 7934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=866720 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28061480 887521280 7934 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) 866720
[startup+3.10104 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 337
/proc/meminfo: memFree=1747744/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=866956 CPUtime=3.08
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 25636 271 1 0 294 14 0 0 18 0 9 0 28061476 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216739 18959 2637 9 0 211197 0
[pid=324/tid=326] ppid=322 vsize=866956 CPUtime=2.81
/proc/324/task/326/stat : 326 (java) R 322 324 30423 0 -1 64 19672 271 1 0 271 10 0 0 25 0 9 0 28061477 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4126831215 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=866956 CPUtime=0.06
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 4542 271 0 0 5 1 0 0 17 0 9 0 28061478 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28061478 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 12 271 0 0 0 0 0 0 16 0 9 0 28061478 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 23 0 9 0 28061480 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=866956 CPUtime=0.18
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 582 271 0 0 17 1 0 0 15 0 9 0 28061480 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 271 0 0 0 0 0 0 24 0 9 0 28061480 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28061480 887762944 18959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 866956
Solver just ended. Dumping a history of the last processes samples
[startup+3.9012 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 337
/proc/meminfo: memFree=1712480/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=866956 CPUtime=3.88
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 25656 271 1 0 374 14 0 0 18 0 9 0 28061476 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216739 18971 2637 9 0 211197 0
[pid=324/tid=326] ppid=322 vsize=866956 CPUtime=3.59
/proc/324/task/326/stat : 326 (java) R 322 324 30423 0 -1 64 19679 271 1 0 349 10 0 0 25 0 9 0 28061477 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4126832443 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=866956 CPUtime=0.06
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 4542 271 0 0 5 1 0 0 17 0 9 0 28061478 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28061478 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 12 271 0 0 0 0 0 0 16 0 9 0 28061478 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 23 0 9 0 28061480 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=866956 CPUtime=0.2
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 595 271 0 0 19 1 0 0 15 0 9 0 28061480 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 271 0 0 0 0 0 0 24 0 9 0 28061480 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=866956 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28061480 887762944 18971 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 866956
[startup+4.30228 s]
/proc/loadavg: 1.98 2.02 2.00 3/89 337
/proc/meminfo: memFree=1708128/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=867088 CPUtime=4.28
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 26733 271 1 0 414 14 0 0 18 0 9 0 28061476 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216772 20044 2637 9 0 211230 0
[pid=324/tid=326] ppid=322 vsize=867088 CPUtime=3.98
/proc/324/task/326/stat : 326 (java) R 322 324 30423 0 -1 64 19682 271 1 0 388 10 0 0 25 0 9 0 28061477 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4125952226 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=867088 CPUtime=0.06
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 5612 271 0 0 5 1 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 12 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 23 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=867088 CPUtime=0.21
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 598 271 0 0 20 1 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 271 0 0 0 0 0 0 24 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 3 271 0 0 0 0 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 867088
[startup+4.50231 s]
/proc/loadavg: 1.98 2.02 2.00 3/89 337
/proc/meminfo: memFree=1708128/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=867088 CPUtime=4.48
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 26733 271 1 0 434 14 0 0 18 0 9 0 28061476 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216772 20044 2637 9 0 211230 0
[pid=324/tid=326] ppid=322 vsize=867088 CPUtime=4.17
/proc/324/task/326/stat : 326 (java) R 322 324 30423 0 -1 64 19682 271 1 0 407 10 0 0 25 0 9 0 28061477 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4126831215 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=867088 CPUtime=0.06
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 5612 271 0 0 5 1 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 12 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 23 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=867088 CPUtime=0.21
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 598 271 0 0 20 1 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 271 0 0 0 0 0 0 24 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 3 271 0 0 0 0 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 867088
[startup+4.60233 s]
/proc/loadavg: 1.98 2.02 2.00 3/89 337
/proc/meminfo: memFree=1708128/2055920 swapFree=4192812/4192956
[pid=324] ppid=322 vsize=867088 CPUtime=4.56
/proc/324/stat : 324 (java) S 322 324 30423 0 -1 0 26734 271 1 0 442 14 0 0 18 0 9 0 28061476 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/324/statm: 216772 20044 2637 9 0 211230 0
[pid=324/tid=326] ppid=322 vsize=867088 CPUtime=4.26
/proc/324/task/326/stat : 326 (java) S 322 324 30423 0 -1 64 19683 271 1 0 416 10 0 0 25 0 9 0 28061477 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=327] ppid=322 vsize=867088 CPUtime=0.06
/proc/324/task/327/stat : 327 (java) S 322 324 30423 0 -1 64 5612 271 0 0 5 1 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=328] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/328/stat : 328 (java) S 322 324 30423 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=329] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/329/stat : 329 (java) S 322 324 30423 0 -1 64 12 271 0 0 0 0 0 0 16 0 9 0 28061478 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=330] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/330/stat : 330 (java) S 322 324 30423 0 -1 64 2 271 0 0 0 0 0 0 23 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=331] ppid=322 vsize=867088 CPUtime=0.21
/proc/324/task/331/stat : 331 (java) S 322 324 30423 0 -1 64 598 271 0 0 20 1 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=332] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/332/stat : 332 (java) S 322 324 30423 0 -1 64 0 271 0 0 0 0 0 0 24 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=324/tid=333] ppid=322 vsize=867088 CPUtime=0
/proc/324/task/333/stat : 333 (java) S 322 324 30423 0 -1 64 3 271 0 0 0 0 0 0 15 0 9 0 28061480 887898112 20044 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 867088
Child status: 0
Real time (s): 4.646
CPU time (s): 4.5933
CPU user time (s): 4.42433
CPU system time (s): 0.168974
CPU usage (%): 98.8658
Max. virtual memory (cumulated for all children) (KiB): 867088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.42433
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27033
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= 1367
involuntary context switches= 1498
runsolver used 0.007998 second user time and 0.022996 second system time
The end
Begin job on node23 at 2009-07-12 16:45:51
IDJOB=2096130
IDBENCH=56069
IDSOLVER=774
FILE ID=node23/2096130-1247409951
PBS_JOBID= 9510598
Free space on /tmp= 66360 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-taillard-5/normalized-os-taillard-5-95-3.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-2096130-1247409951/watcher-2096130-1247409951 -o /tmp/evaluation-result-2096130-1247409951/solver-2096130-1247409951 -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-2096130-1247409951.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a7cbc8d89fada2eacdfa69cdf2cc02a0
RANDOM SEED=1886069411
node23.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.277
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.277
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: 1778888 kB
Buffers: 39788 kB
Cached: 113688 kB
SwapCached: 0 kB
Active: 160552 kB
Inactive: 58760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1778888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2472 kB
Writeback: 0 kB
Mapped: 86156 kB
Slab: 43004 kB
Committed_AS: 1011776 kB
PageTables: 1892 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= 66356 MiB
End job on node23 at 2009-07-12 16:45:56