0.30
0.30 Abscon 109 (November, 2006)
0.30
0.31 configuration
0.31 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208312-1168074683/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2970 maxDegree=24
0.61 maxArity=2
0.61 => wckTime=0.298 cpuTime=0.21 mem=12M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.479 cpuTime=0.34 mem=13M924
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0050 cpuTime=0.0 mem=13M924
0.84
0.84 search
0.84 run=0 nbConstraintChecks=37092 nbPropagations=568 nbRevisions=6335 nbUselessRevisions=5089 nbAssignments=26
0.84 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.051 cpuTime=0.03 mem=14M899
0.86
0.86 search
0.86 run=1 nbConstraintChecks=101341 nbPropagations=1955 nbRevisions=23510 nbUselessRevisions=18887
0.86 nbAssignments=61 nbFailedAssignments=22 nbBacktracks=28 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=28
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.074 cpuTime=0.05 mem=14M899
0.88
0.88 search
0.88 run=2 nbConstraintChecks=162769 nbPropagations=4158 nbRevisions=50839 nbUselessRevisions=40727
0.88 nbAssignments=104 nbFailedAssignments=37 nbBacktracks=52 nbVisitedNodes=179 nbRestartNogoods=4 mapSize=45
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.094 cpuTime=0.06 mem=14M899
0.91
0.91 search
0.91 run=3 nbConstraintChecks=279858 nbPropagations=7884 nbRevisions=99763 nbUselessRevisions=79912
0.91 nbAssignments=184 nbFailedAssignments=75 nbBacktracks=87 nbVisitedNodes=320 nbRestartNogoods=6 mapSize=77
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.117 cpuTime=0.08 mem=14M899
0.93
0.93 search
0.93 run=4 nbConstraintChecks=411506 nbPropagations=13327 nbRevisions=172344 nbUselessRevisions=138171
0.93 nbAssignments=279 nbFailedAssignments=111 nbBacktracks=140 nbVisitedNodes=480 nbRestartNogoods=11 mapSize=121
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.143 cpuTime=0.11 mem=14M899
0.97
0.97 search
0.97 run=5 nbConstraintChecks=613601 nbPropagations=21372 nbRevisions=279932 nbUselessRevisions=224397
0.97 nbAssignments=413 nbFailedAssignments=163 nbBacktracks=215 nbVisitedNodes=711 nbRestartNogoods=15 mapSize=184
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.182 cpuTime=0.14 mem=14M899
1.03
1.03 search
1.03 run=6 nbConstraintChecks=926768 nbPropagations=33395 nbRevisions=440853 nbUselessRevisions=352894
1.03 nbAssignments=623 nbFailedAssignments=252 nbBacktracks=328 nbVisitedNodes=1080 nbRestartNogoods=20 mapSize=284
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.238 cpuTime=0.19 mem=14M899
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1365988 nbPropagations=51367 nbRevisions=683477 nbUselessRevisions=547271
1.10 nbAssignments=925 nbFailedAssignments=378 nbBacktracks=499 nbVisitedNodes=1602 nbRestartNogoods=29 mapSize=426
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.316 cpuTime=0.27 mem=14M899
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1974872 nbPropagations=77702 nbRevisions=1041581 nbUselessRevisions=834578
1.22 nbAssignments=1372 nbFailedAssignments=562 nbBacktracks=757 nbVisitedNodes=2380 nbRestartNogoods=35
1.22 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.435 cpuTime=0.38 mem=14M899
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2968572 nbPropagations=117155 nbRevisions=1583590 nbUselessRevisions=1269233
1.40 nbAssignments=2058 nbFailedAssignments=857 nbBacktracks=1142 nbVisitedNodes=3613 nbRestartNogoods=38
1.40 mapSize=989 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.612 cpuTime=0.55 mem=14M899
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=14M899)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=4271421 nbPropagations=174297 nbRevisions=2369007 nbUselessRevisions=1900384
1.61 nbAssignments=3023 nbFailedAssignments=1239 nbBacktracks=1719 nbVisitedNodes=5281 nbRestartNogoods=44
1.61 => wckTime=0.82 cpuTime=0.74 mem=14M899
1.90
1.90 search
1.90 run=11 nbConstraintChecks=6246383 nbPropagations=257566 nbRevisions=3520321 nbUselessRevisions=2826191
1.90 nbAssignments=4484 nbFailedAssignments=1831 nbBacktracks=2584 nbVisitedNodes=7816 nbRestartNogoods=54
1.90 => wckTime=1.116 cpuTime=1.04 mem=14M899
2.39
2.39 search
2.39 run=12 nbConstraintChecks=9390672 nbPropagations=384207 nbRevisions=5279283 nbUselessRevisions=4242438
2.39 nbAssignments=6746 nbFailedAssignments=2786 nbBacktracks=3885 nbVisitedNodes=11800 nbRestartNogoods=61
2.39 => wckTime=1.602 cpuTime=1.52 mem=14M899
3.11
3.11 search
3.11 run=13 nbConstraintChecks=14013576 nbPropagations=572767 nbRevisions=7892257 nbUselessRevisions=6345744
3.11 nbAssignments=10043 nbFailedAssignments=4131 nbBacktracks=5831 nbVisitedNodes=17578 nbRestartNogoods=73
3.11 => wckTime=2.319 cpuTime=2.23 mem=14M899
4.24
4.24 search
4.24 run=14 nbConstraintChecks=21320551 nbPropagations=858614 nbRevisions=11879261 nbUselessRevisions=9557872
4.25 nbAssignments=15120 nbFailedAssignments=6282 nbBacktracks=8750 nbVisitedNodes=26558 nbRestartNogoods=79
4.25 => wckTime=3.456 cpuTime=3.37 mem=14M899
5.84
5.84 search
5.84 run=15 nbConstraintChecks=31488020 nbPropagations=1282469 nbRevisions=17781740 nbUselessRevisions=14312436
5.84 nbAssignments=22357 nbFailedAssignments=9133 nbBacktracks=13132 nbVisitedNodes=39186 nbRestartNogoods=92
5.84 => wckTime=5.051 cpuTime=4.96 mem=14M899
8.31
8.31 search
8.31 run=16 nbConstraintChecks=47196860 nbPropagations=1919653 nbRevisions=26665939 nbUselessRevisions=21476392
8.31 nbAssignments=33443 nbFailedAssignments=13644 nbBacktracks=19700 nbVisitedNodes=58674 nbRestartNogoods=100
8.31 => wckTime=7.518 cpuTime=7.42 mem=14M899
12.09
12.09 search
12.09 run=17 nbConstraintChecks=71795441 nbPropagations=2875040 nbRevisions=40085120 nbUselessRevisions=32301453
12.09 nbAssignments=50068 nbFailedAssignments=20413 nbBacktracks=29552 nbVisitedNodes=87898 nbRestartNogoods=112
12.09 => wckTime=11.301 cpuTime=11.21 mem=14M899
17.64
17.64 search
17.64 run=18 nbConstraintChecks=107313679 nbPropagations=4309169 nbRevisions=60149491 nbUselessRevisions=48478603
17.64 nbAssignments=75143 nbFailedAssignments=30701 nbBacktracks=44332 nbVisitedNodes=132027 nbRestartNogoods=128
17.64 => wckTime=16.853 cpuTime=16.76 mem=14M899
20.14
20.14 search
20.14 run=19 nbConstraintChecks=123478444 nbPropagations=5958000 nbRevisions=83242133 nbUselessRevisions=67100958
20.14 nbAssignments=86265 nbFailedAssignments=35300 nbBacktracks=50815 nbVisitedNodes=151626 nbRestartNogoods=144
20.14 => wckTime=19.354 cpuTime=19.26 mem=14M899
20.14
20.14 global
20.14 nbConstraintChecks=123478444 nbPropagations=5958040 nbRevisions=83242133 nbUselessRevisions=67100958
20.14 nbRestartNogoods=144 solvingWckTime=19.355 solvingCpuTime=19.26 expiredTime=no totalExploration=no
20.15 nbFoundSolutions=1 globalCpuTime=19.64
20.15 => wckTime=19.837 cpuTime=19.6 mem=14M899
20.15
20.15 s SATISFIABLE
20.15 v 9 0 5 0 17 8 5 12 2 9 11 11 12 10 0 4 12 17 13 5 18 1 10 0 6 5 11 10 3 4 6 3 11 10 18 5 3 2 13 5
20.15 d NODES 86265
20.15 d CHECKS 123478444
20.15
20.15 totalWckTime=19.912 totalCpuTime=19.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208312-1168074683 -o ROOT/results/node72/solver-208312-1168074683 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=1784 CPUtime=0
/proc/387/stat : 387 (java) D 385 387 32675 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155877187 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/387/statm: 446 160 125 14 0 91 0
[startup+0.104724 s]
/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=914988 CPUtime=0.07
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 2966 0 1 0 6 1 0 0 17 0 8 0 155877187 936947712 2712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.514759 s]
/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915328 CPUtime=0.49
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 6919 0 1 0 44 5 0 0 16 0 8 0 155877187 937295872 6658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/387/statm: 228832 6658 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33483 s]
/proc/loadavg: 1.28 1.27 1.52 2/88 398
/proc/meminfo: memFree=1441304/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=1.32
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8638 0 1 0 125 7 0 0 17 0 8 0 155877187 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/387/statm: 228864 8376 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.21
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.97198 s]
/proc/loadavg: 1.25 1.27 1.51 2/89 405
/proc/meminfo: memFree=1440656/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=2.95
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8668 0 1 0 288 7 0 0 18 0 8 0 155877187 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8405 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.25528 s]
/proc/loadavg: 1.25 1.27 1.51 3/100 443
/proc/meminfo: memFree=1414264/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=6.23
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8677 0 1 0 616 7 0 0 25 0 8 0 155877187 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8413 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7349 s]
/proc/loadavg: 1.44 1.31 1.52 3/100 443
/proc/meminfo: memFree=1414264/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=12.71
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8682 0 1 0 1264 7 0 0 25 0 8 0 155877187 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8418 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 20.1739
CPU time (s): 20.1389
CPU user time (s): 20.0579
CPU system time (s): 0.080987
CPU usage (%): 99.8268
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.058
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8777
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= 1207
involuntary context switches= 746
runsolver used 0.019996 s user time and 0.06099 s system time
The end
Begin job on node72 on Sat Jan 6 09:11:24 UTC 2007
IDJOB= 208312
IDBENCH= 4371
FILE ID= node72/208312-1168074683
PBS_JOBID= 3476025
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208312-1168074683 -o ROOT/results/node72/solver-208312-1168074683 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1647d988ce01483a0a770c92877b2c9
RANDOM SEED= 148800624
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.223
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.223
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: 1463536 kB
Buffers: 40672 kB
Cached: 431384 kB
SwapCached: 0 kB
Active: 143948 kB
Inactive: 376252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1463536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4096 kB
Writeback: 0 kB
Mapped: 67072 kB
Slab: 57240 kB
Committed_AS: 2573708 kB
PageTables: 2112 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= 66549 MiB
End job on node72 on Sat Jan 6 09:11:44 UTC 2007