0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227851-1168278914/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.71 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11877 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.387 cpuTime=0.25 mem=11M844
0.76
0.76 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.605 cpuTime=0.39 mem=15M5
0.99
0.99 preprocessing
0.99 nbConstraintChecks=23140 nbPropagations=914 nbRevisions=5128 nbUselessRevisions=3983 nbSingletonTests=53
0.99 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.058 cpuTime=0.03 mem=15M5
1.01
1.01 search
1.01 run=0 nbConstraintChecks=13033 nbPropagations=1236 nbRevisions=9250 nbUselessRevisions=7489 nbAssignments=22
1.01 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.08 cpuTime=0.05 mem=15M5
1.03
1.03 search
1.03 run=1 nbConstraintChecks=36574 nbPropagations=2925 nbRevisions=25283 nbUselessRevisions=20670 nbAssignments=51
1.03 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=80 nbRestartNogoods=1 mapSize=25 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.101 cpuTime=0.07 mem=15M5
1.05
1.05 search
1.05 run=2 nbConstraintChecks=62937 nbPropagations=5142 nbRevisions=49825 nbUselessRevisions=41142 nbAssignments=88
1.05 nbFailedAssignments=24 nbBacktracks=48 nbVisitedNodes=138 nbRestartNogoods=2 mapSize=43 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.118 cpuTime=0.08 mem=15M5
1.07
1.07 search
1.07 run=3 nbConstraintChecks=103790 nbPropagations=8207 nbRevisions=87188 nbUselessRevisions=72495
1.07 nbAssignments=146 nbFailedAssignments=36 nbBacktracks=85 nbVisitedNodes=229 nbRestartNogoods=3 mapSize=71
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.137 cpuTime=0.1 mem=15M5
1.09
1.09 search
1.09 run=4 nbConstraintChecks=158806 nbPropagations=12353 nbRevisions=140966 nbUselessRevisions=117633
1.09 nbAssignments=226 nbFailedAssignments=59 nbBacktracks=136 nbVisitedNodes=359 nbRestartNogoods=6 mapSize=112
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.16 cpuTime=0.12 mem=15M5
1.13
1.13 search
1.13 run=5 nbConstraintChecks=227834 nbPropagations=17822 nbRevisions=218362 nbUselessRevisions=183061
1.13 nbAssignments=337 nbFailedAssignments=90 nbBacktracks=211 nbVisitedNodes=540 nbRestartNogoods=8 mapSize=177
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.201 cpuTime=0.15 mem=15M5
1.18
1.18 search
1.18 run=6 nbConstraintChecks=346184 nbPropagations=25505 nbRevisions=334300 nbUselessRevisions=281499
1.18 nbAssignments=508 nbFailedAssignments=140 nbBacktracks=324 nbVisitedNodes=820 nbRestartNogoods=10 mapSize=269
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.248 cpuTime=0.19 mem=15M5
1.24
1.24 search
1.24 run=7 nbConstraintChecks=512576 nbPropagations=36375 nbRevisions=504349 nbUselessRevisions=426390
1.24 nbAssignments=764 nbFailedAssignments=217 nbBacktracks=498 nbVisitedNodes=1229 nbRestartNogoods=14 mapSize=405
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.314 cpuTime=0.26 mem=15M5
1.35
1.35 search
1.35 run=8 nbConstraintChecks=799348 nbPropagations=52577 nbRevisions=767135 nbUselessRevisions=650324
1.35 nbAssignments=1146 nbFailedAssignments=337 nbBacktracks=755 nbVisitedNodes=1863 nbRestartNogoods=18
1.35 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.423 cpuTime=0.38 mem=15M5
1.51
1.51 search
1.51 run=9 nbConstraintChecks=1170480 nbPropagations=75633 nbRevisions=1151460 nbUselessRevisions=978618
1.51 nbAssignments=1700 nbFailedAssignments=499 nbBacktracks=1141 nbVisitedNodes=2760 nbRestartNogoods=22
1.51 mapSize=926 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.579 cpuTime=0.51 mem=15M5
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M5)
1.73
1.73 search
1.73 run=10 nbConstraintChecks=1777885 nbPropagations=110044 nbRevisions=1732529 nbUselessRevisions=1474912
1.73 nbAssignments=2553 nbFailedAssignments=767 nbBacktracks=1721 nbVisitedNodes=4168 nbRestartNogoods=27
1.73 => wckTime=0.798 cpuTime=0.72 mem=15M5
2.01
2.01 search
2.01 run=11 nbConstraintChecks=2610848 nbPropagations=159925 nbRevisions=2589177 nbUselessRevisions=2207746
2.01 nbAssignments=3768 nbFailedAssignments=1112 nbBacktracks=2587 nbVisitedNodes=6155 nbRestartNogoods=32
2.01 => wckTime=1.077 cpuTime=0.99 mem=15M5
2.44
2.44 search
2.44 run=12 nbConstraintChecks=3916319 nbPropagations=233853 nbRevisions=3869570 nbUselessRevisions=3303610
2.44 nbAssignments=5628 nbFailedAssignments=1667 nbBacktracks=3884 nbVisitedNodes=9216 nbRestartNogoods=37
2.44 => wckTime=1.511 cpuTime=1.41 mem=15M5
3.10
3.10 search
3.10 run=13 nbConstraintChecks=5913223 nbPropagations=344107 nbRevisions=5805320 nbUselessRevisions=4962963
3.10 nbAssignments=8418 nbFailedAssignments=2501 nbBacktracks=5835 nbVisitedNodes=13790 nbRestartNogoods=44
3.10 => wckTime=2.165 cpuTime=2.06 mem=15M5
4.06
4.06 search
4.06 run=14 nbConstraintChecks=8842166 nbPropagations=508297 nbRevisions=8702647 nbUselessRevisions=7448134
4.06 nbAssignments=12577 nbFailedAssignments=3733 nbBacktracks=8758 nbVisitedNodes=20616 nbRestartNogoods=51
4.06 => wckTime=3.127 cpuTime=3.01 mem=15M5
5.53
5.53 search
5.53 run=15 nbConstraintChecks=13343555 nbPropagations=754295 nbRevisions=13069202 nbUselessRevisions=11194906
5.53 nbAssignments=18907 nbFailedAssignments=5682 nbBacktracks=13137 nbVisitedNodes=31028 nbRestartNogoods=56
5.53 => wckTime=4.599 cpuTime=4.46 mem=15M5
7.71
7.71 search
7.71 run=16 nbConstraintChecks=19956861 nbPropagations=1121877 nbRevisions=19594727 nbUselessRevisions=16794779
7.71 nbAssignments=28262 nbFailedAssignments=8461 nbBacktracks=19705 nbVisitedNodes=46398 nbRestartNogoods=63
7.71 => wckTime=6.776 cpuTime=6.62 mem=15M5
11.00
11.00 search
11.00 run=17 nbConstraintChecks=30027332 nbPropagations=1672914 nbRevisions=29390762 nbUselessRevisions=25199049
11.00 nbAssignments=42297 nbFailedAssignments=12638 nbBacktracks=29558 nbVisitedNodes=69386 nbRestartNogoods=71
11.00 => wckTime=10.068 cpuTime=9.88 mem=15M5
13.22
13.22 search
13.22 run=18 nbConstraintChecks=36846841 nbPropagations=2347895 nbRevisions=41405969 nbUselessRevisions=35507158
13.22 nbAssignments=51875 nbFailedAssignments=15510 nbBacktracks=36265 nbVisitedNodes=85059 nbRestartNogoods=81
13.22 => wckTime=12.287 cpuTime=12.07 mem=15M5
13.22
13.22 global
13.22 nbConstraintChecks=36869981 nbPropagations=2348809 nbRevisions=41411097 nbUselessRevisions=35511141
13.22 nbRestartNogoods=81 solvingWckTime=12.288 solvingCpuTime=12.07 expiredTime=no totalExploration=yes
13.22 nbFoundSolutions=0 globalCpuTime=12.51
13.22 => wckTime=12.895 cpuTime=12.46 mem=15M5
13.22
13.22 s UNSATISFIABLE
13.22 d NODES 51875
13.22 d CHECKS 36869981
13.22
13.22 totalWckTime=12.978 totalCpuTime=12.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-227851-1168278914 -o ROOT/results/node10/solver-227851-1168278914 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227851-1168278914/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.58 1.77 1.94 4/98 25265
/proc/meminfo: memFree=1598544/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=18540 CPUtime=0
/proc/25264/stat : 25264 (runsolver) R 25262 25264 25126 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176286858 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25264/statm: 4635 279 244 17 0 2626 0
[startup+0.10301 s]
/proc/loadavg: 1.58 1.77 1.94 4/98 25265
/proc/meminfo: memFree=1598544/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=913068 CPUtime=0.08
/proc/25264/stat : 25264 (java) S 25262 25264 25126 0 -1 0 2860 0 1 0 7 1 0 0 17 0 8 0 176286858 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.511064 s]
/proc/loadavg: 1.58 1.77 1.94 4/98 25265
/proc/meminfo: memFree=1598544/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=915328 CPUtime=0.47
/proc/25264/stat : 25264 (java) R 25262 25264 25126 0 -1 0 6239 0 1 0 44 3 0 0 18 0 8 0 176286858 937295872 5978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228832 5978 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33717 s]
/proc/loadavg: 1.58 1.77 1.94 3/105 25272
/proc/meminfo: memFree=1574296/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=915584 CPUtime=1.29
/proc/25264/stat : 25264 (java) R 25262 25264 25126 0 -1 0 8755 0 1 0 123 6 0 0 24 0 8 0 176286858 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072896998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228896 8493 2524 14 0 215366 0
[pid=25264/tid=25266] ppid=25262 vsize=915584 CPUtime=0.03
/proc/25264/task/25266/stat : 25266 (java) S 25262 25264 25126 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176286863 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25267] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25267/stat : 25267 (java) S 25262 25264 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176286863 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25268] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25268/stat : 25268 (java) S 25262 25264 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176286863 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25269] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25269/stat : 25269 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176286867 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25270] ppid=25262 vsize=915584 CPUtime=0.25
/proc/25264/task/25270/stat : 25270 (java) S 25262 25264 25126 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 176286867 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25271] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25271/stat : 25271 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176286867 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25272] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25272/stat : 25272 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176286867 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915584
[startup+2.98903 s]
/proc/loadavg: 1.58 1.77 1.94 3/105 25272
/proc/meminfo: memFree=1573848/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=915584 CPUtime=2.92
/proc/25264/stat : 25264 (java) R 25262 25264 25126 0 -1 0 8799 0 1 0 286 6 0 0 25 0 8 0 176286858 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228896 8536 2524 14 0 215366 0
[pid=25264/tid=25266] ppid=25262 vsize=915584 CPUtime=0.03
/proc/25264/task/25266/stat : 25266 (java) S 25262 25264 25126 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176286863 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25267] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25267/stat : 25267 (java) S 25262 25264 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176286863 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25268] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25268/stat : 25268 (java) S 25262 25264 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176286863 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25269] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25269/stat : 25269 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176286867 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25270] ppid=25262 vsize=915584 CPUtime=0.29
/proc/25264/task/25270/stat : 25270 (java) S 25262 25264 25126 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 176286867 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25271] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25271/stat : 25271 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176286867 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25272] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25272/stat : 25272 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176286867 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584
[startup+6.20283 s]
/proc/loadavg: 1.61 1.77 1.94 3/105 25272
/proc/meminfo: memFree=1573592/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=915584 CPUtime=6.1
/proc/25264/stat : 25264 (java) R 25262 25264 25126 0 -1 0 8807 0 1 0 604 6 0 0 25 0 8 0 176286858 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228896 8543 2524 14 0 215366 0
[pid=25264/tid=25266] ppid=25262 vsize=915584 CPUtime=0.03
/proc/25264/task/25266/stat : 25266 (java) S 25262 25264 25126 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176286863 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25267] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25267/stat : 25267 (java) S 25262 25264 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176286863 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25268] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25268/stat : 25268 (java) S 25262 25264 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176286863 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25269] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25269/stat : 25269 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176286867 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25270] ppid=25262 vsize=915584 CPUtime=0.29
/proc/25264/task/25270/stat : 25270 (java) S 25262 25264 25126 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 176286867 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25271] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25271/stat : 25271 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176286867 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25272] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25272/stat : 25272 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176286867 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915584
[startup+12.6897 s]
/proc/loadavg: 1.64 1.78 1.94 3/105 25272
/proc/meminfo: memFree=1573144/2055920 swapFree=4178216/4192956
[pid=25264] ppid=25262 vsize=915584 CPUtime=12.51
/proc/25264/stat : 25264 (java) R 25262 25264 25126 0 -1 0 8812 0 1 0 1245 6 0 0 25 0 8 0 176286858 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073904810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25264/statm: 228896 8548 2524 14 0 215366 0
[pid=25264/tid=25266] ppid=25262 vsize=915584 CPUtime=0.03
/proc/25264/task/25266/stat : 25266 (java) S 25262 25264 25126 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176286863 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25267] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25267/stat : 25267 (java) S 25262 25264 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176286863 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25268] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25268/stat : 25268 (java) S 25262 25264 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176286863 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25269] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25269/stat : 25269 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176286867 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25270] ppid=25262 vsize=915584 CPUtime=0.29
/proc/25264/task/25270/stat : 25270 (java) S 25262 25264 25126 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 176286867 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25271] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25271/stat : 25271 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176286867 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25264/tid=25272] ppid=25262 vsize=915584 CPUtime=0
/proc/25264/task/25272/stat : 25272 (java) S 25262 25264 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176286867 937558016 8548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 13.2789
CPU time (s): 13.06
CPU user time (s): 12.985
CPU system time (s): 0.074988
CPU usage (%): 98.3517
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.985
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8905
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= 1527
involuntary context switches= 1943
runsolver used 0.024996 s user time and 0.073988 s system time
The end
Begin job on node10 on Mon Jan 8 17:55:15 UTC 2007
IDJOB= 227851
IDBENCH= 6122
FILE ID= node10/227851-1168278914
PBS_JOBID= 3483159
Free space on /tmp= 66380 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227851-1168278914/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-227851-1168278914 -o ROOT/results/node10/solver-227851-1168278914 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227851-1168278914/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3921658d2b5247ef54ae5da8323aa886
RANDOM SEED= 334461416
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1599152 kB
Buffers: 71864 kB
Cached: 230216 kB
SwapCached: 2628 kB
Active: 224540 kB
Inactive: 175540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599152 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 117036 kB
Slab: 41404 kB
Committed_AS: 5573620 kB
PageTables: 2380 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= 66380 MiB
End job on node10 on Mon Jan 8 17:55:33 UTC 2007