0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208197-1168185964/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2667 maxDegree=22
0.60 maxArity=2
0.60 => wckTime=0.301 cpuTime=0.22 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.5 cpuTime=0.34 mem=15M4
0.85
0.85 preprocessing
0.85 nbConstraintChecks=64010 nbPropagations=854 nbRevisions=6456 nbUselessRevisions=5304 nbSingletonTests=46
0.85 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.048 cpuTime=0.03 mem=15M4
0.87
0.87 search
0.87 run=0 nbConstraintChecks=27715 nbPropagations=1288 nbRevisions=11129 nbUselessRevisions=9112 nbAssignments=26
0.87 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.069 cpuTime=0.04 mem=15M4
0.89
0.89 search
0.89 run=1 nbConstraintChecks=64188 nbPropagations=3137 nbRevisions=28660 nbUselessRevisions=23450 nbAssignments=59
0.89 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=91 nbRestartNogoods=2 mapSize=18 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.088 cpuTime=0.05 mem=15M4
0.91
0.91 search
0.91 run=2 nbConstraintChecks=129257 nbPropagations=5890 nbRevisions=57998 nbUselessRevisions=47245
0.91 nbAssignments=109 nbFailedAssignments=39 nbBacktracks=49 nbVisitedNodes=175 nbRestartNogoods=5 mapSize=36
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.105 cpuTime=0.07 mem=15M4
0.93
0.93 search
0.93 run=3 nbConstraintChecks=210880 nbPropagations=9835 nbRevisions=102358 nbUselessRevisions=83195
0.93 nbAssignments=174 nbFailedAssignments=65 nbBacktracks=83 nbVisitedNodes=285 nbRestartNogoods=8 mapSize=65
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.123 cpuTime=0.09 mem=15M4
0.95
0.95 search
0.95 run=4 nbConstraintChecks=326627 nbPropagations=15457 nbRevisions=168378 nbUselessRevisions=136517
0.95 nbAssignments=264 nbFailedAssignments=99 nbBacktracks=133 nbVisitedNodes=435 nbRestartNogoods=10 mapSize=106
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.146 cpuTime=0.11 mem=15M4
0.99
0.99 search
0.99 run=5 nbConstraintChecks=522775 nbPropagations=23851 nbRevisions=271352 nbUselessRevisions=219628
0.99 nbAssignments=409 nbFailedAssignments=161 nbBacktracks=208 nbVisitedNodes=685 nbRestartNogoods=12 mapSize=171
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.186 cpuTime=0.14 mem=15M4
1.04
1.04 search
1.04 run=6 nbConstraintChecks=774665 nbPropagations=35770 nbRevisions=422023 nbUselessRevisions=341420
1.04 nbAssignments=629 nbFailedAssignments=246 nbBacktracks=325 nbVisitedNodes=1037 nbRestartNogoods=19 mapSize=271
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.234 cpuTime=0.19 mem=15M4
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1146754 nbPropagations=53169 nbRevisions=647053 nbUselessRevisions=522963
1.11 nbAssignments=934 nbFailedAssignments=373 nbBacktracks=495 nbVisitedNodes=1554 nbRestartNogoods=24 mapSize=416
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.303 cpuTime=0.26 mem=15M4
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1729755 nbPropagations=78325 nbRevisions=977788 nbUselessRevisions=789057
1.21 nbAssignments=1366 nbFailedAssignments=543 nbBacktracks=751 nbVisitedNodes=2304 nbRestartNogoods=30
1.22 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.412 cpuTime=0.36 mem=15M4
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2523776 nbPropagations=114772 nbRevisions=1458149 nbUselessRevisions=1174763
1.36 nbAssignments=2004 nbFailedAssignments=790 nbBacktracks=1136 nbVisitedNodes=3396 nbRestartNogoods=36
1.36 mapSize=940 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.561 cpuTime=0.5 mem=15M4
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M4)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=3736215 nbPropagations=167885 nbRevisions=2163277 nbUselessRevisions=1740565
1.56 nbAssignments=2944 nbFailedAssignments=1147 nbBacktracks=1713 nbVisitedNodes=5017 nbRestartNogoods=44
1.56 => wckTime=0.76 cpuTime=0.68 mem=15M4
1.82
1.82 search
1.82 run=11 nbConstraintChecks=5356071 nbPropagations=244911 nbRevisions=3190805 nbUselessRevisions=2565509
1.82 nbAssignments=4341 nbFailedAssignments=1672 nbBacktracks=2579 nbVisitedNodes=7377 nbRestartNogoods=52
1.82 => wckTime=1.018 cpuTime=0.94 mem=15M4
2.31
2.31 search
2.31 run=12 nbConstraintChecks=8564068 nbPropagations=364690 nbRevisions=4815970 nbUselessRevisions=3869223
2.31 nbAssignments=6666 nbFailedAssignments=2694 nbBacktracks=3876 nbVisitedNodes=11463 nbRestartNogoods=62
2.31 => wckTime=1.505 cpuTime=1.42 mem=15M4
2.89
2.89 search
2.89 run=13 nbConstraintChecks=12266123 nbPropagations=538575 nbRevisions=7161245 nbUselessRevisions=5751047
2.89 nbAssignments=9755 nbFailedAssignments=3830 nbBacktracks=5823 nbVisitedNodes=16730 nbRestartNogoods=71
2.89 => wckTime=2.084 cpuTime=1.99 mem=15M4
3.86
3.86 search
3.86 run=14 nbConstraintChecks=18773574 nbPropagations=800043 nbRevisions=10697445 nbUselessRevisions=8586181
3.86 nbAssignments=14562 nbFailedAssignments=5710 nbBacktracks=8745 nbVisitedNodes=25043 nbRestartNogoods=75
3.86 => wckTime=3.055 cpuTime=2.95 mem=15M4
5.21
5.21 search
5.21 run=15 nbConstraintChecks=27275273 nbPropagations=1186604 nbRevisions=15943523 nbUselessRevisions=12804760
5.21 nbAssignments=21662 nbFailedAssignments=8414 nbBacktracks=13123 nbVisitedNodes=37203 nbRestartNogoods=85
5.21 => wckTime=4.411 cpuTime=4.3 mem=15M4
7.42
7.42 search
7.42 run=16 nbConstraintChecks=41538485 nbPropagations=1770837 nbRevisions=23893681 nbUselessRevisions=19196785
7.42 nbAssignments=32634 nbFailedAssignments=12814 nbBacktracks=19691 nbVisitedNodes=56288 nbRestartNogoods=99
7.42 => wckTime=6.62 cpuTime=6.47 mem=15M4
10.58
10.58 search
10.58 run=17 nbConstraintChecks=61848297 nbPropagations=2643228 nbRevisions=35776350 nbUselessRevisions=28757063
10.58 nbAssignments=48665 nbFailedAssignments=18986 nbBacktracks=29544 nbVisitedNodes=83851 nbRestartNogoods=104
10.58 => wckTime=9.779 cpuTime=9.6 mem=15M979
16.41
16.41 search
16.41 run=18 nbConstraintChecks=100998902 nbPropagations=4029795 nbRevisions=54936563 nbUselessRevisions=44172173
16.41 nbAssignments=75402 nbFailedAssignments=30937 nbBacktracks=44325 nbVisitedNodes=131522 nbRestartNogoods=110
16.41 => wckTime=15.605 cpuTime=15.38 mem=15M979
23.51
23.51 search
23.51 run=19 nbConstraintChecks=147439736 nbPropagations=6067043 nbRevisions=82999955 nbUselessRevisions=66756067
23.51 nbAssignments=111415 nbFailedAssignments=44775 nbBacktracks=66495 nbVisitedNodes=193487 nbRestartNogoods=120
23.51 => wckTime=22.708 cpuTime=22.43 mem=15M979
27.06
27.06 search
27.06 run=20 nbConstraintChecks=170531964 nbPropagations=8420902 nbRevisions=115467893 nbUselessRevisions=92893564
27.06 nbAssignments=128962 nbFailedAssignments=51381 nbBacktracks=77396 nbVisitedNodes=223528 nbRestartNogoods=134
27.06 => wckTime=26.259 cpuTime=25.94 mem=15M979
27.06
27.06 global
27.06 nbConstraintChecks=170595974 nbPropagations=8421756 nbRevisions=115474349 nbUselessRevisions=92898868
27.06 nbRestartNogoods=134 solvingWckTime=26.26 solvingCpuTime=25.94 expiredTime=no totalExploration=no
27.06 nbFoundSolutions=1 globalCpuTime=26.33
27.06 => wckTime=26.763 cpuTime=26.28 mem=15M979
27.07
27.07 s SATISFIABLE
27.07 v 3 4 14 16 15 17 16 6 12 18 15 16 8 15 7 1 6 9 8 10 17 11 5 4 6 15 11 5 10 17 16 12 5 6 10 14 3 8 13 16
27.07 d NODES 128962
27.07 d CHECKS 170595974
27.07
27.07 totalWckTime=26.84 totalCpuTime=26.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-208197-1168185964 -o ROOT/results/node76/solver-208197-1168185964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208197-1168185964/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: 2.01 2.00 1.85 5/87 32011
/proc/meminfo: memFree=1337832/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=18544 CPUtime=0
/proc/32010/stat : 32010 (runsolver) R 32008 32010 31476 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 166993504 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/32010/statm: 4636 280 245 17 0 2626 0
[startup+0.104221 s]
/proc/loadavg: 2.01 2.00 1.85 5/87 32011
/proc/meminfo: memFree=1337832/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=914992 CPUtime=0.08
/proc/32010/stat : 32010 (java) S 32008 32010 31476 0 -1 0 2993 0 1 0 7 1 0 0 24 0 8 0 166993504 936951808 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228748 2741 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.516307 s]
/proc/loadavg: 2.01 2.00 1.85 5/87 32011
/proc/meminfo: memFree=1337832/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915332 CPUtime=0.49
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 6938 0 1 0 44 5 0 0 25 0 8 0 166993504 937299968 6679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072914949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228833 6679 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33746 s]
/proc/loadavg: 2.01 2.00 1.85 3/94 32018
/proc/meminfo: memFree=1313776/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915460 CPUtime=1.29
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 8741 0 1 0 123 6 0 0 25 0 8 0 166993504 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228865 8481 2525 14 0 215334 0
[pid=32010/tid=32012] ppid=32008 vsize=915460 CPUtime=0.03
/proc/32010/task/32012/stat : 32012 (java) S 32008 32010 31476 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 166993508 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32013] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32013/stat : 32013 (java) S 32008 32010 31476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166993509 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32014] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32014/stat : 32014 (java) S 32008 32010 31476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166993509 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32015] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32015/stat : 32015 (java) S 32008 32010 31476 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166993512 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32016] ppid=32008 vsize=915460 CPUtime=0.22
/proc/32010/task/32016/stat : 32016 (java) S 32008 32010 31476 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 166993512 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32017] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32017/stat : 32017 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166993512 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32018] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32018/stat : 32018 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166993512 937431040 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.97478 s]
/proc/loadavg: 2.01 2.00 1.85 3/94 32018
/proc/meminfo: memFree=1313520/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915460 CPUtime=2.91
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 8771 0 1 0 285 6 0 0 25 0 8 0 166993504 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228865 8510 2525 14 0 215334 0
[pid=32010/tid=32012] ppid=32008 vsize=915460 CPUtime=0.03
/proc/32010/task/32012/stat : 32012 (java) S 32008 32010 31476 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 166993508 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32013] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32013/stat : 32013 (java) S 32008 32010 31476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166993509 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32014] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32014/stat : 32014 (java) S 32008 32010 31476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166993509 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32015] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32015/stat : 32015 (java) S 32008 32010 31476 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166993512 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32016] ppid=32008 vsize=915460 CPUtime=0.23
/proc/32010/task/32016/stat : 32016 (java) S 32008 32010 31476 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 166993512 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32017] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32017/stat : 32017 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166993512 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32018] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32018/stat : 32018 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166993512 937431040 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915460
[startup+6.27042 s]
/proc/loadavg: 2.01 2.00 1.85 3/94 32018
/proc/meminfo: memFree=1313392/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915460 CPUtime=6.19
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 8777 0 1 0 613 6 0 0 25 0 8 0 166993504 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228865 8516 2525 14 0 215334 0
[pid=32010/tid=32012] ppid=32008 vsize=915460 CPUtime=0.03
/proc/32010/task/32012/stat : 32012 (java) S 32008 32010 31476 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 166993508 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32013] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32013/stat : 32013 (java) S 32008 32010 31476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166993509 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32014] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32014/stat : 32014 (java) S 32008 32010 31476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166993509 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32015] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32015/stat : 32015 (java) S 32008 32010 31476 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166993512 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32016] ppid=32008 vsize=915460 CPUtime=0.23
/proc/32010/task/32016/stat : 32016 (java) S 32008 32010 31476 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 166993512 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32017] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32017/stat : 32017 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166993512 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32018] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32018/stat : 32018 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166993512 937431040 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7447 s]
/proc/loadavg: 2.00 2.00 1.85 3/94 32018
/proc/meminfo: memFree=1313408/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915460 CPUtime=12.59
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 8783 0 1 0 1253 6 0 0 25 0 8 0 166993504 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228865 8521 2525 14 0 215334 0
[pid=32010/tid=32012] ppid=32008 vsize=915460 CPUtime=0.03
/proc/32010/task/32012/stat : 32012 (java) S 32008 32010 31476 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 166993508 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32013] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32013/stat : 32013 (java) S 32008 32010 31476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166993509 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32014] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32014/stat : 32014 (java) S 32008 32010 31476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166993509 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32015] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32015/stat : 32015 (java) S 32008 32010 31476 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166993512 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32016] ppid=32008 vsize=915460 CPUtime=0.23
/proc/32010/task/32016/stat : 32016 (java) S 32008 32010 31476 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 166993512 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32017] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32017/stat : 32017 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166993512 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32018] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32018/stat : 32018 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166993512 937431040 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6072 s]
/proc/loadavg: 2.00 2.00 1.85 3/94 32018
/proc/meminfo: memFree=1313408/2055888 swapFree=4095388/4096564
[pid=32010] ppid=32008 vsize=915460 CPUtime=25.34
/proc/32010/stat : 32010 (java) R 32008 32010 31476 0 -1 0 8788 0 1 0 2528 6 0 0 25 0 8 0 166993504 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228865 8526 2525 14 0 215334 0
[pid=32010/tid=32012] ppid=32008 vsize=915460 CPUtime=0.03
/proc/32010/task/32012/stat : 32012 (java) S 32008 32010 31476 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 166993508 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32013] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32013/stat : 32013 (java) S 32008 32010 31476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166993509 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32014] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32014/stat : 32014 (java) S 32008 32010 31476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166993509 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32015] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32015/stat : 32015 (java) S 32008 32010 31476 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166993512 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32016] ppid=32008 vsize=915460 CPUtime=0.23
/proc/32010/task/32016/stat : 32016 (java) S 32008 32010 31476 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 166993512 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32017] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32017/stat : 32017 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166993512 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32018] ppid=32008 vsize=915460 CPUtime=0
/proc/32010/task/32018/stat : 32018 (java) S 32008 32010 31476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166993512 937431040 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 27.09
CPU time (s): 26.8099
CPU user time (s): 26.7349
CPU system time (s): 0.074988
CPU usage (%): 98.9663
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7349
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= 8880
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= 1718
involuntary context switches= 2995
runsolver used 0.028995 s user time and 0.088986 s system time
The end
Begin job on node76 on Sun Jan 7 16:06:04 UTC 2007
IDJOB= 208197
IDBENCH= 4357
FILE ID= node76/208197-1168185964
PBS_JOBID= 3479217
Free space on /tmp= 66643 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208197-1168185964/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-208197-1168185964 -o ROOT/results/node76/solver-208197-1168185964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208197-1168185964/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6b737ed045bb461e49473358c4984f2c
RANDOM SEED= 320894122
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1338376 kB
Buffers: 39492 kB
Cached: 514688 kB
SwapCached: 428 kB
Active: 187224 kB
Inactive: 476596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1338376 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 127412 kB
Slab: 39112 kB
Committed_AS: 6944808 kB
PageTables: 2048 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66643 MiB
End job on node76 on Sun Jan 7 16:06:31 UTC 2007