0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/227927-1168279062/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.58 maxArity=2
0.58 => wckTime=0.289 cpuTime=0.2 mem=10M861
0.62
0.62 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.484 cpuTime=0.34 mem=14M819
0.83
0.83 preprocessing
0.83 nbConstraintChecks=31929 nbPropagations=895 nbRevisions=5234 nbUselessRevisions=4055 nbSingletonTests=51
0.83 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.05 cpuTime=0.03 mem=14M819
0.85
0.85 search
0.85 run=0 nbConstraintChecks=22437 nbPropagations=1330 nbRevisions=10775 nbUselessRevisions=8539 nbAssignments=21
0.85 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.074 cpuTime=0.04 mem=14M819
0.87
0.87 search
0.87 run=1 nbConstraintChecks=53805 nbPropagations=3275 nbRevisions=29211 nbUselessRevisions=23355 nbAssignments=54
0.87 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=91 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.092 cpuTime=0.05 mem=14M819
0.89
0.89 search
0.89 run=2 nbConstraintChecks=105670 nbPropagations=6271 nbRevisions=60093 nbUselessRevisions=48434
0.89 nbAssignments=112 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=164 nbRestartNogoods=5 mapSize=45
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.11 cpuTime=0.07 mem=14M819
0.91
0.91 search
0.91 run=3 nbConstraintChecks=160635 nbPropagations=10283 nbRevisions=104934 nbUselessRevisions=85078
0.91 nbAssignments=171 nbFailedAssignments=53 nbBacktracks=85 nbVisitedNodes=264 nbRestartNogoods=7 mapSize=75
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.126 cpuTime=0.08 mem=14M819
0.93
0.93 search
0.93 run=4 nbConstraintChecks=245313 nbPropagations=15775 nbRevisions=170405 nbUselessRevisions=138636
0.93 nbAssignments=255 nbFailedAssignments=82 nbBacktracks=137 nbVisitedNodes=410 nbRestartNogoods=9 mapSize=123
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.147 cpuTime=0.11 mem=14M819
0.96
0.96 search
0.96 run=5 nbConstraintChecks=338517 nbPropagations=22993 nbRevisions=260094 nbUselessRevisions=212265
0.96 nbAssignments=370 nbFailedAssignments=118 nbBacktracks=212 nbVisitedNodes=599 nbRestartNogoods=10 mapSize=182
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.178 cpuTime=0.13 mem=14M819
1.00
1.00 search
1.00 run=6 nbConstraintChecks=508075 nbPropagations=33197 nbRevisions=392873 nbUselessRevisions=320984
1.00 nbAssignments=551 nbFailedAssignments=181 nbBacktracks=326 nbVisitedNodes=911 nbRestartNogoods=12 mapSize=279
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.219 cpuTime=0.17 mem=14M819
1.05
1.05 search
1.05 run=7 nbConstraintChecks=728897 nbPropagations=47414 nbRevisions=585109 nbUselessRevisions=478849
1.06 nbAssignments=818 nbFailedAssignments=273 nbBacktracks=496 nbVisitedNodes=1354 nbRestartNogoods=15 mapSize=414
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.274 cpuTime=0.22 mem=14M819
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1096076 nbPropagations=68158 nbRevisions=874778 nbUselessRevisions=717467
1.15 nbAssignments=1222 nbFailedAssignments=411 nbBacktracks=756 nbVisitedNodes=2041 nbRestartNogoods=19
1.15 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.365 cpuTime=0.31 mem=14M819
1.29
1.29 search
1.29 run=9 nbConstraintChecks=1658681 nbPropagations=98820 nbRevisions=1310158 nbUselessRevisions=1075678
1.29 nbAssignments=1829 nbFailedAssignments=629 nbBacktracks=1142 nbVisitedNodes=3082 nbRestartNogoods=25
1.29 mapSize=961 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.507 cpuTime=0.43 mem=14M819
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M819)
1.47
1.47 search
1.47 run=10 nbConstraintChecks=2462784 nbPropagations=143593 nbRevisions=1958161 nbUselessRevisions=1610000
1.47 nbAssignments=2734 nbFailedAssignments=954 nbBacktracks=1719 nbVisitedNodes=4626 nbRestartNogoods=28
1.47 => wckTime=0.685 cpuTime=0.6 mem=14M819
1.71
1.71 search
1.71 run=11 nbConstraintChecks=3680307 nbPropagations=209902 nbRevisions=2926567 nbUselessRevisions=2409040
1.71 nbAssignments=4077 nbFailedAssignments=1425 nbBacktracks=2585 nbVisitedNodes=6919 nbRestartNogoods=32
1.71 => wckTime=0.928 cpuTime=0.85 mem=14M819
2.06
2.06 search
2.06 run=12 nbConstraintChecks=5444851 nbPropagations=307646 nbRevisions=4364208 nbUselessRevisions=3597715
2.06 nbAssignments=6092 nbFailedAssignments=2123 nbBacktracks=3883 nbVisitedNodes=10331 nbRestartNogoods=41
2.06 => wckTime=1.277 cpuTime=1.19 mem=14M819
2.61
2.61 search
2.61 run=13 nbConstraintChecks=8337842 nbPropagations=455055 nbRevisions=6538825 nbUselessRevisions=5391245
2.61 nbAssignments=9181 nbFailedAssignments=3260 nbBacktracks=5830 nbVisitedNodes=15625 nbRestartNogoods=48
2.61 => wckTime=1.834 cpuTime=1.75 mem=14M819
3.45
3.45 search
3.45 run=14 nbConstraintChecks=12629855 nbPropagations=676771 nbRevisions=9834407 nbUselessRevisions=8109493
3.45 nbAssignments=13817 nbFailedAssignments=4970 nbBacktracks=8749 nbVisitedNodes=23591 nbRestartNogoods=57
3.45 => wckTime=2.67 cpuTime=2.58 mem=14M819
4.70
4.70 search
4.70 run=15 nbConstraintChecks=19096938 nbPropagations=1009796 nbRevisions=14812510 nbUselessRevisions=12216790
4.70 nbAssignments=20789 nbFailedAssignments=7557 nbBacktracks=13129 nbVisitedNodes=35537 nbRestartNogoods=70
4.70 => wckTime=3.919 cpuTime=3.83 mem=14M819
6.50
6.50 search
6.50 run=16 nbConstraintChecks=28399398 nbPropagations=1504787 nbRevisions=22217503 nbUselessRevisions=18330758
6.50 nbAssignments=31012 nbFailedAssignments=11204 nbBacktracks=19700 nbVisitedNodes=52948 nbRestartNogoods=81
6.50 => wckTime=5.723 cpuTime=5.63 mem=14M819
9.30
9.30 search
9.30 run=17 nbConstraintChecks=42912677 nbPropagations=2249203 nbRevisions=33361057 nbUselessRevisions=27524248
9.30 nbAssignments=46379 nbFailedAssignments=16713 nbBacktracks=29552 nbVisitedNodes=79221 nbRestartNogoods=95
9.30 => wckTime=8.52 cpuTime=8.43 mem=14M819
13.43
13.43 search
13.43 run=18 nbConstraintChecks=64310294 nbPropagations=3359869 nbRevisions=50008681 nbUselessRevisions=41252599
13.43 nbAssignments=68681 nbFailedAssignments=24752 nbBacktracks=43816 nbVisitedNodes=117328 nbRestartNogoods=101
13.43 => wckTime=12.654 cpuTime=12.56 mem=14M819
13.44
13.44 global
13.44 nbConstraintChecks=64342223 nbPropagations=3360764 nbRevisions=50013915 nbUselessRevisions=41256654
13.44 nbRestartNogoods=101 solvingWckTime=12.654 solvingCpuTime=12.56 expiredTime=no totalExploration=yes
13.44 nbFoundSolutions=0 globalCpuTime=12.95
13.44 => wckTime=13.141 cpuTime=12.9 mem=14M819
13.44
13.44 s UNSATISFIABLE
13.44 d NODES 68681
13.44 d CHECKS 64342223
13.44
13.44 totalWckTime=13.22 totalCpuTime=12.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-227927-1168279062 -o ROOT/results/node6/solver-227927-1168279062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227927-1168279062/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.96 1.89 1.95 4/88 599
/proc/meminfo: memFree=1646176/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=1788 CPUtime=0
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 176301765 1830912 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/598/statm: 446 158 123 14 0 91 0
[startup+0.106541 s]
/proc/loadavg: 1.96 1.89 1.95 4/88 599
/proc/meminfo: memFree=1646176/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=914988 CPUtime=0.09
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 3090 0 1 0 7 2 0 0 24 0 8 0 176301765 936947712 2836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228747 2839 1459 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514588 s]
/proc/loadavg: 1.96 1.89 1.95 4/88 599
/proc/meminfo: memFree=1646176/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=915328 CPUtime=0.49
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 6636 0 1 0 45 4 0 0 25 0 8 0 176301765 937295872 6375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228832 6376 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33769 s]
/proc/loadavg: 1.96 1.89 1.95 3/95 606
/proc/meminfo: memFree=1622504/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=915456 CPUtime=1.31
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 8682 0 1 0 124 7 0 0 25 0 8 0 176301765 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228864 8420 2524 14 0 215334 0
[pid=598/tid=600] ppid=596 vsize=915456 CPUtime=0.02
/proc/598/task/600/stat : 600 (java) S 596 598 32496 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176301768 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=601] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/601/stat : 601 (java) S 596 598 32496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176301768 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=602] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/602/stat : 602 (java) S 596 598 32496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176301768 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=603] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/603/stat : 603 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176301771 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=604] ppid=596 vsize=915456 CPUtime=0.22
/proc/598/task/604/stat : 604 (java) S 596 598 32496 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 176301771 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=605] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/605/stat : 605 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176301771 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=606] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/606/stat : 606 (java) S 596 598 32496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176301771 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.99088 s]
/proc/loadavg: 1.96 1.89 1.95 3/95 606
/proc/meminfo: memFree=1622248/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=915456 CPUtime=2.97
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 8699 0 1 0 289 8 0 0 25 0 8 0 176301765 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228864 8436 2524 14 0 215334 0
[pid=598/tid=600] ppid=596 vsize=915456 CPUtime=0.02
/proc/598/task/600/stat : 600 (java) S 596 598 32496 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176301768 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=601] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/601/stat : 601 (java) S 596 598 32496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176301768 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=602] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/602/stat : 602 (java) S 596 598 32496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176301768 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=603] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/603/stat : 603 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176301771 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=604] ppid=596 vsize=915456 CPUtime=0.23
/proc/598/task/604/stat : 604 (java) S 596 598 32496 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 176301771 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=605] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/605/stat : 605 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176301771 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=606] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/606/stat : 606 (java) S 596 598 32496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176301771 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456
[startup+6.28326 s]
/proc/loadavg: 2.05 1.91 1.95 3/95 606
/proc/meminfo: memFree=1622184/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=915456 CPUtime=6.26
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 8705 0 1 0 618 8 0 0 25 0 8 0 176301765 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228864 8441 2524 14 0 215334 0
[pid=598/tid=600] ppid=596 vsize=915456 CPUtime=0.02
/proc/598/task/600/stat : 600 (java) S 596 598 32496 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176301768 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=601] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/601/stat : 601 (java) S 596 598 32496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176301768 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=602] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/602/stat : 602 (java) S 596 598 32496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176301768 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=603] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/603/stat : 603 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176301771 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=604] ppid=596 vsize=915456 CPUtime=0.24
/proc/598/task/604/stat : 604 (java) S 596 598 32496 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 176301771 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=605] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/605/stat : 605 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176301771 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=606] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/606/stat : 606 (java) S 596 598 32496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176301771 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915456
[startup+12.777 s]
/proc/loadavg: 2.04 1.91 1.95 3/95 606
/proc/meminfo: memFree=1622184/2055924 swapFree=4165672/4192956
[pid=598] ppid=596 vsize=915456 CPUtime=12.75
/proc/598/stat : 598 (java) R 596 598 32496 0 -1 0 8710 0 1 0 1267 8 0 0 25 0 8 0 176301765 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/598/statm: 228864 8446 2524 14 0 215334 0
[pid=598/tid=600] ppid=596 vsize=915456 CPUtime=0.02
/proc/598/task/600/stat : 600 (java) S 596 598 32496 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176301768 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=601] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/601/stat : 601 (java) S 596 598 32496 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176301768 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=602] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/602/stat : 602 (java) S 596 598 32496 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176301768 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=603] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/603/stat : 603 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176301771 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=604] ppid=596 vsize=915456 CPUtime=0.24
/proc/598/task/604/stat : 604 (java) S 596 598 32496 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 176301771 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=605] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/605/stat : 605 (java) S 596 598 32496 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176301771 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=598/tid=606] ppid=596 vsize=915456 CPUtime=0
/proc/598/task/606/stat : 606 (java) S 596 598 32496 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176301771 937426944 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 13.5022
CPU time (s): 13.432
CPU user time (s): 13.343
CPU system time (s): 0.088986
CPU usage (%): 99.4794
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.343
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8802
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= 1408
involuntary context switches= 1727
runsolver used 0.019996 s user time and 0.049992 s system time
The end
Begin job on node6 on Mon Jan 8 17:57:42 UTC 2007
IDJOB= 227927
IDBENCH= 6135
FILE ID= node6/227927-1168279062
PBS_JOBID= 3483152
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227927-1168279062/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-227927-1168279062 -o ROOT/results/node6/solver-227927-1168279062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227927-1168279062/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 219ecb9c51efd9f3c4a28153a8d21bfd
RANDOM SEED= 360480962
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1646592 kB
Buffers: 63624 kB
Cached: 245484 kB
SwapCached: 2944 kB
Active: 189624 kB
Inactive: 159188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1646592 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 50516 kB
Slab: 45116 kB
Committed_AS: 5540584 kB
PageTables: 2396 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= 66551 MiB
End job on node6 on Mon Jan 8 17:57:57 UTC 2007