0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/221803-1168080092/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.092 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=901 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.296 cpuTime=0.22 mem=13M794
0.64
0.64 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.486 cpuTime=0.34 mem=14M40
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0040 cpuTime=0.0 mem=14M40
0.84
0.84 search
0.84 run=0 nbConstraintChecks=38322 nbPropagations=442 nbRevisions=7196 nbUselessRevisions=6088 nbAssignments=27
0.84 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.051 cpuTime=0.03 mem=15M64
0.85
0.85 search
0.85 run=1 nbConstraintChecks=81363 nbPropagations=1414 nbRevisions=23246 nbUselessRevisions=19924 nbAssignments=64
0.85 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.04 mem=15M64
0.88
0.88 search
0.88 run=2 nbConstraintChecks=145713 nbPropagations=3165 nbRevisions=52899 nbUselessRevisions=45516
0.88 nbAssignments=114 nbFailedAssignments=50 nbBacktracks=48 nbVisitedNodes=199 nbRestartNogoods=7 mapSize=46
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.092 cpuTime=0.06 mem=15M64
0.90
0.90 search
0.90 run=3 nbConstraintChecks=237224 nbPropagations=6005 nbRevisions=102805 nbUselessRevisions=88668
0.90 nbAssignments=185 nbFailedAssignments=83 nbBacktracks=81 nbVisitedNodes=328 nbRestartNogoods=10 mapSize=79
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.116 cpuTime=0.08 mem=15M64
0.93
0.93 search
0.93 run=4 nbConstraintChecks=385604 nbPropagations=10500 nbRevisions=184685 nbUselessRevisions=159287
0.93 nbAssignments=295 nbFailedAssignments=138 nbBacktracks=131 nbVisitedNodes=533 nbRestartNogoods=13 mapSize=129
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.146 cpuTime=0.11 mem=15M64
0.97
0.97 search
0.97 run=5 nbConstraintChecks=571639 nbPropagations=17247 nbRevisions=308948 nbUselessRevisions=266675
0.97 nbAssignments=446 nbFailedAssignments=209 nbBacktracks=207 nbVisitedNodes=814 nbRestartNogoods=20 mapSize=204
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.187 cpuTime=0.15 mem=15M64
1.03
1.03 search
1.03 run=6 nbConstraintChecks=863130 nbPropagations=27343 nbRevisions=497754 nbUselessRevisions=430037
1.03 nbAssignments=668 nbFailedAssignments=314 nbBacktracks=320 nbVisitedNodes=1226 nbRestartNogoods=25 mapSize=315
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.246 cpuTime=0.2 mem=15M64
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1339231 nbPropagations=42655 nbRevisions=790446 nbUselessRevisions=683413
1.12 nbAssignments=1017 nbFailedAssignments=488 nbBacktracks=490 nbVisitedNodes=1876 nbRestartNogoods=30
1.12 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.333 cpuTime=0.29 mem=15M64
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1974305 nbPropagations=65326 nbRevisions=1224686 nbUselessRevisions=1059253
1.25 nbAssignments=1524 nbFailedAssignments=733 nbBacktracks=747 nbVisitedNodes=2812 nbRestartNogoods=37
1.25 mapSize=729 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.466 cpuTime=0.41 mem=15M64
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M64)
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2968214 nbPropagations=99518 nbRevisions=1883754 nbUselessRevisions=1629743
1.42 nbAssignments=2287 nbFailedAssignments=1108 nbBacktracks=1131 nbVisitedNodes=4245 nbRestartNogoods=47
1.42 => wckTime=0.638 cpuTime=0.57 mem=15M64
1.67
1.67 search
1.67 run=10 nbConstraintChecks=4498692 nbPropagations=150994 nbRevisions=2886786 nbUselessRevisions=2498368
1.67 nbAssignments=3432 nbFailedAssignments=1672 nbBacktracks=1707 nbVisitedNodes=6383 nbRestartNogoods=55
1.67 => wckTime=0.886 cpuTime=0.81 mem=15M64
1.99
1.99 search
2.00 run=11 nbConstraintChecks=6722358 nbPropagations=227744 nbRevisions=4390992 nbUselessRevisions=3801415
2.00 nbAssignments=5115 nbFailedAssignments=2487 nbBacktracks=2571 nbVisitedNodes=9517 nbRestartNogoods=61
2.00 => wckTime=1.21 cpuTime=1.13 mem=15M64
2.47
2.47 search
2.47 run=12 nbConstraintChecks=10007773 nbPropagations=342181 nbRevisions=6633629 nbUselessRevisions=5743769
2.47 nbAssignments=7638 nbFailedAssignments=3708 nbBacktracks=3868 nbVisitedNodes=14217 nbRestartNogoods=73
2.47 => wckTime=1.685 cpuTime=1.6 mem=15M64
3.20
3.20 search
3.20 run=13 nbConstraintChecks=15123276 nbPropagations=514114 nbRevisions=10026990 nbUselessRevisions=8684356
3.20 nbAssignments=11479 nbFailedAssignments=5598 nbBacktracks=5814 nbVisitedNodes=21374 nbRestartNogoods=85
3.20 => wckTime=2.416 cpuTime=2.33 mem=15M64
4.29
4.29 search
4.29 run=14 nbConstraintChecks=22674723 nbPropagations=771764 nbRevisions=15122657 nbUselessRevisions=13101854
4.29 nbAssignments=17202 nbFailedAssignments=8396 nbBacktracks=8733 nbVisitedNodes=32041 nbRestartNogoods=101
4.29 => wckTime=3.5 cpuTime=3.4 mem=15M64
5.93
5.93 search
5.93 run=15 nbConstraintChecks=34185540 nbPropagations=1158598 nbRevisions=22788638 nbUselessRevisions=19747996
5.93 nbAssignments=25770 nbFailedAssignments=12580 nbBacktracks=13112 nbVisitedNodes=48039 nbRestartNogoods=113
5.93 => wckTime=5.145 cpuTime=5.03 mem=15M64
8.41
8.41 search
8.41 run=16 nbConstraintChecks=51589960 nbPropagations=1740973 nbRevisions=34354770 nbUselessRevisions=29778886
8.41 nbAssignments=38683 nbFailedAssignments=18919 nbBacktracks=19680 nbVisitedNodes=72183 nbRestartNogoods=130
8.41 => wckTime=7.621 cpuTime=7.49 mem=15M64
12.14
12.14 search
12.14 run=17 nbConstraintChecks=78216543 nbPropagations=2618954 nbRevisions=51853658 nbUselessRevisions=44957752
12.14 nbAssignments=58055 nbFailedAssignments=28433 nbBacktracks=29533 nbVisitedNodes=108445 nbRestartNogoods=147
12.14 => wckTime=11.357 cpuTime=11.2 mem=15M64
17.82
17.82 search
17.82 run=18 nbConstraintChecks=118801145 nbPropagations=3943828 nbRevisions=78364904 nbUselessRevisions=67956552
17.82 nbAssignments=87372 nbFailedAssignments=42967 nbBacktracks=44312 nbVisitedNodes=163242 nbRestartNogoods=158
17.82 => wckTime=17.036 cpuTime=16.83 mem=15M64
26.28
26.28 search
26.28 run=19 nbConstraintChecks=178291227 nbPropagations=5932207 nbRevisions=118187191 nbUselessRevisions=102509001
26.28 nbAssignments=131309 nbFailedAssignments=64731 nbBacktracks=66480 nbVisitedNodes=245352 nbRestartNogoods=175
26.28 => wckTime=25.49 cpuTime=25.22 mem=15M64
39.05
39.05 search
39.05 run=20 nbConstraintChecks=269110076 nbPropagations=8926107 nbRevisions=178256314 nbUselessRevisions=154629263
39.05 nbAssignments=197659 nbFailedAssignments=97823 nbBacktracks=99733 nbVisitedNodes=369502 nbRestartNogoods=199
39.05 => wckTime=38.268 cpuTime=37.87 mem=15M64
58.23
58.23 search
58.23 run=21 nbConstraintChecks=404391625 nbPropagations=13415412 nbRevisions=268516867 nbUselessRevisions=232969137
58.23 nbAssignments=296093 nbFailedAssignments=146373 nbBacktracks=149612 nbVisitedNodes=553542 nbRestartNogoods=217
58.23 => wckTime=57.442 cpuTime=56.92 mem=15M64
88.32
88.32 search
88.32 run=22 nbConstraintChecks=611484396 nbPropagations=20171783 nbRevisions=404787281 nbUselessRevisions=351276900
88.32 nbAssignments=444412 nbFailedAssignments=219871 nbBacktracks=224430 nbVisitedNodes=830952 nbRestartNogoods=226
88.32 => wckTime=87.532 cpuTime=86.94 mem=15M64
134.51
134.51 search
134.51 run=23 nbConstraintChecks=924859291 nbPropagations=30344354 nbRevisions=610595437 nbUselessRevisions=529987362
134.51 nbAssignments=666923 nbFailedAssignments=330150 nbBacktracks=336658 nbVisitedNodes=1247519 nbRestartNogoods=240
134.51 => wckTime=133.721 cpuTime=133.12 mem=15M64
204.28
204.28 search
204.28 run=24 nbConstraintChecks=1399983761 nbPropagations=45660826 nbRevisions=921605476 nbUselessRevisions=800110715
204.28 nbAssignments=1001391 nbFailedAssignments=496273 nbBacktracks=504999 nbVisitedNodes=1873411
204.28 nbRestartNogoods=252
204.28 => wckTime=203.499 cpuTime=202.88 mem=15M64
239.36
239.36 search
239.36 run=25 nbConstraintChecks=1640788103 nbPropagations=63541654 nbRevisions=1285605730
239.36 nbUselessRevisions=1116306975 nbAssignments=1166772 nbFailedAssignments=578812 nbBacktracks=587842
239.36 nbVisitedNodes=2183203 nbRestartNogoods=266
239.36 => wckTime=238.572 cpuTime=237.95 mem=15M64
239.36
239.36 global
239.36 nbConstraintChecks=1640788103 nbPropagations=63541678 nbRevisions=1285605730 nbUselessRevisions=1116306975
239.36 nbRestartNogoods=266 solvingWckTime=238.573 solvingCpuTime=237.95 expiredTime=no totalExploration=yes
239.36 nbFoundSolutions=0 globalCpuTime=238.34
239.36 => wckTime=239.062 cpuTime=238.29 mem=15M64
239.36
239.36 s UNSATISFIABLE
239.36 d NODES 1166772
239.36 d CHECKS 1640788103
239.36
239.36 totalWckTime=239.139 totalCpuTime=238.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-221803-1168080092 -o ROOT/results/node39/solver-221803-1168080092 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221803-1168080092/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.64 1.86 1.86 2/80 19868
/proc/meminfo: memFree=1715800/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=18540 CPUtime=0
/proc/19867/stat : 19867 (runsolver) R 19865 19867 19438 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156408914 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19867/statm: 4635 279 244 17 0 2626 0
[startup+0.101937 s]
/proc/loadavg: 1.64 1.86 1.86 2/80 19868
/proc/meminfo: memFree=1715800/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=914988 CPUtime=0.08
/proc/19867/stat : 19867 (java) S 19865 19867 19438 0 -1 0 2998 0 1 0 7 1 0 0 24 0 8 0 156408914 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.509974 s]
/proc/loadavg: 1.64 1.86 1.86 2/80 19868
/proc/meminfo: memFree=1715800/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915328 CPUtime=0.49
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 7015 0 1 0 45 4 0 0 25 0 8 0 156408914 937295872 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228832 6754 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33205 s]
/proc/loadavg: 1.67 1.86 1.86 3/87 19875
/proc/meminfo: memFree=1692256/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=1.3
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8618 0 1 0 125 5 0 0 25 0 8 0 156408914 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8356 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.21
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156408922 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.9702 s]
/proc/loadavg: 1.67 1.86 1.86 3/87 19875
/proc/meminfo: memFree=1692000/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=2.93
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8639 0 1 0 288 5 0 0 25 0 8 0 156408914 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8376 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 17 0 8 0 156408918 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 389 0 0 0 21 1 0 0 15 0 8 0 156408922 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.1745 s]
/proc/loadavg: 1.69 1.86 1.86 3/87 19875
/proc/meminfo: memFree=1692000/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=6.11
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8650 0 1 0 606 5 0 0 25 0 8 0 156408914 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8385 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 17 0 8 0 156408918 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) R 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915452
[startup+12.6371 s]
/proc/loadavg: 1.72 1.86 1.86 3/87 19875
/proc/meminfo: memFree=1692008/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=12.52
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8655 0 1 0 1247 5 0 0 25 0 8 0 156408914 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8390 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915452
[startup+25.4833 s]
/proc/loadavg: 1.84 1.88 1.87 3/87 19875
/proc/meminfo: memFree=1692008/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=25.26
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8658 0 1 0 2521 5 0 0 25 0 8 0 156408914 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8393 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915452
[startup+51.1756 s]
/proc/loadavg: 1.90 1.89 1.87 3/87 19875
/proc/meminfo: memFree=1692072/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=50.74
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8663 0 1 0 5069 5 0 0 25 0 8 0 156408914 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913701 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19867/statm: 228863 8398 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915452
[startup+102.439 s]
/proc/loadavg: 1.39 1.75 1.82 2/72 20057
/proc/meminfo: memFree=1723512/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=101.9
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8668 0 1 0 10183 7 0 0 25 0 8 0 156408914 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19867/statm: 228863 8403 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915452
[startup+162.523 s]
/proc/loadavg: 1.14 1.61 1.77 2/72 20057
/proc/meminfo: memFree=1723512/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=161.97
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8670 0 1 0 16190 7 0 0 25 0 8 0 156408914 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19867/statm: 228863 8405 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 915452
[startup+222.606 s]
/proc/loadavg: 1.05 1.50 1.72 2/72 20057
/proc/meminfo: memFree=1723512/2055920 swapFree=4192812/4192956
[pid=19867] ppid=19865 vsize=915452 CPUtime=222.04
/proc/19867/stat : 19867 (java) R 19865 19867 19438 0 -1 0 8673 0 1 0 22197 7 0 0 25 0 8 0 156408914 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19867/statm: 228863 8408 2513 14 0 215333 0
[pid=19867/tid=19869] ppid=19865 vsize=915452 CPUtime=0.02
/proc/19867/task/19869/stat : 19869 (java) S 19865 19867 19438 0 -1 64 305 0 0 0 2 0 0 0 16 0 8 0 156408918 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19870] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19870/stat : 19870 (java) S 19865 19867 19438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156408919 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19871] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19871/stat : 19871 (java) S 19865 19867 19438 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156408919 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19872] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19872/stat : 19872 (java) S 19865 19867 19438 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156408922 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19873] ppid=19865 vsize=915452 CPUtime=0.22
/proc/19867/task/19873/stat : 19873 (java) S 19865 19867 19438 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156408922 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19874] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19874/stat : 19874 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156408922 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19867/tid=19875] ppid=19865 vsize=915452 CPUtime=0
/proc/19867/task/19875/stat : 19875 (java) S 19865 19867 19438 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156408922 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 239.387
CPU time (s): 238.808
CPU user time (s): 238.724
CPU system time (s): 0.083987
CPU usage (%): 99.758
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.724
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8761
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= 5971
involuntary context switches= 4492
runsolver used 0.215967 s user time and 0.643902 s system time
The end
Begin job on node39 on Sat Jan 6 10:41:32 UTC 2007
IDJOB= 221803
IDBENCH= 5468
FILE ID= node39/221803-1168080092
PBS_JOBID= 3476080
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221803-1168080092/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-221803-1168080092 -o ROOT/results/node39/solver-221803-1168080092 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221803-1168080092/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e9f67184886c7a7c73ebe1fd2f6af54
RANDOM SEED= 476113061
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.236
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.236
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: 1716480 kB
Buffers: 26560 kB
Cached: 196888 kB
SwapCached: 0 kB
Active: 93292 kB
Inactive: 174936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2008 kB
Writeback: 0 kB
Mapped: 65044 kB
Slab: 56540 kB
Committed_AS: 3766712 kB
PageTables: 1876 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= 66531 MiB
End job on node39 on Sat Jan 6 10:45:33 UTC 2007