0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/215289-1168078168/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.44 nbVariables=522 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.138 cpuTime=0.11 mem=7M50
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
1.09 nbConstraints=2819 nbConvertedConstraints=2565 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.09 nbSharedExtensionStructures=2563 nbConflictsStructures=3 nbSharedConflictsStructures=2585
1.09 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.09 nbSharedEvaluationManagers=252 maxDegree=51 maxArity=32
1.09 => wckTime=0.792 cpuTime=0.65 mem=46M57
1.16
1.16 solver IterativeSystematicSolver being built...
1.39 => wckTime=1.094 cpuTime=0.85 mem=33M285
1.42
1.42 preprocessing
1.42 nbConstraintChecks=0 nbPropagations=522 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.42 detectedInconsistency=no
1.42 => wckTime=0.02 cpuTime=0.01 mem=34M258
1.67
1.67 search
1.67 run=0 nbConstraintChecks=34923 nbValidityChecks=92557 nbPropagations=1774 nbRevisions=63778
1.67 nbUselessRevisions=62556 nbAssignments=178 nbFailedAssignments=2 nbBacktracks=19 nbVisitedNodes=189
1.67 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.266 cpuTime=0.23 mem=34M258
1.89
1.89 search
1.89 run=1 nbConstraintChecks=101452 nbValidityChecks=197842 nbPropagations=6308 nbRevisions=216219
1.89 nbUselessRevisions=210875 nbAssignments=364 nbFailedAssignments=5 nbBacktracks=47 nbVisitedNodes=397
1.89 nbRestartNogoods=1 mapSize=30 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.488 cpuTime=0.44 mem=34M258
2.13
2.13 search
2.13 run=2 nbConstraintChecks=175081 nbValidityChecks=305978 nbPropagations=13654 nbRevisions=460075
2.13 nbUselessRevisions=447409 nbAssignments=532 nbFailedAssignments=8 nbBacktracks=76 nbVisitedNodes=588
2.13 nbRestartNogoods=2 mapSize=52 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.733 cpuTime=0.68 mem=34M258
2.41
2.41 search
2.41 run=3 nbConstraintChecks=269158 nbValidityChecks=422645 nbPropagations=24742 nbRevisions=811508
2.41 nbUselessRevisions=787341 nbAssignments=719 nbFailedAssignments=13 nbBacktracks=115 nbVisitedNodes=806
2.41 nbRestartNogoods=3 mapSize=82 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.008 cpuTime=0.96 mem=34M258
2.75
2.75 search
2.75 run=4 nbConstraintChecks=380914 nbValidityChecks=556569 nbPropagations=39870 nbRevisions=1284083
2.75 nbUselessRevisions=1243727 nbAssignments=902 nbFailedAssignments=19 nbBacktracks=171 nbVisitedNodes=1024
2.75 nbRestartNogoods=4 mapSize=116 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=1.355 cpuTime=1.3 mem=34M258
3.32
3.32 search
3.32 run=5 nbConstraintChecks=587147 nbValidityChecks=741472 nbPropagations=62591 nbRevisions=1951824
3.32 nbUselessRevisions=1886181 nbAssignments=1113 nbFailedAssignments=23 nbBacktracks=274 nbVisitedNodes=1300
3.32 nbRestartNogoods=5 mapSize=180 nbInferences=0 nbTooLargeKeys=0
3.32 => wckTime=1.918 cpuTime=1.86 mem=35M231
3.85
3.85 search
3.85 run=6 nbConstraintChecks=770371 nbValidityChecks=918755 nbPropagations=91662 nbRevisions=2792437
3.85 nbUselessRevisions=2694258 nbAssignments=1364 nbFailedAssignments=40 nbBacktracks=388 nbVisitedNodes=1607
3.85 nbRestartNogoods=6 mapSize=235 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=2.455 cpuTime=2.4 mem=35M231
5.19
5.19 search
5.19 run=7 nbConstraintChecks=1225661 nbValidityChecks=1362641 nbPropagations=136723 nbRevisions=4072214
5.19 nbUselessRevisions=3921713 nbAssignments=1647 nbFailedAssignments=59 nbBacktracks=558 nbVisitedNodes=2031
5.19 nbRestartNogoods=7 mapSize=374 nbInferences=0 nbTooLargeKeys=0
5.19 => wckTime=3.796 cpuTime=3.72 mem=35M231
7.53
7.53 search
7.53 run=8 nbConstraintChecks=1978279 nbValidityChecks=2134676 nbPropagations=207111 nbRevisions=6084250
7.53 nbUselessRevisions=5850026 nbAssignments=2026 nbFailedAssignments=97 nbBacktracks=816 nbVisitedNodes=2626
7.53 nbRestartNogoods=9 mapSize=589 nbInferences=0 nbTooLargeKeys=0
7.53 => wckTime=6.134 cpuTime=6.06 mem=35M231
10.92
10.92 search
10.92 run=9 nbConstraintChecks=3124402 nbValidityChecks=3311240 nbPropagations=318940 nbRevisions=9264950
10.92 nbUselessRevisions=8895734 nbAssignments=2591 nbFailedAssignments=155 nbBacktracks=1207 nbVisitedNodes=3534
10.92 nbRestartNogoods=10 mapSize=928 nbInferences=0 nbTooLargeKeys=0
10.92 => wckTime=9.517 cpuTime=9.44 mem=35M231
11.81
11.81 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=35M231)
13.83
13.83 search
13.83 run=10 nbConstraintChecks=4078882 nbValidityChecks=4313031 nbPropagations=465581 nbRevisions=13463419
13.83 nbUselessRevisions=12917035 nbAssignments=3615 nbFailedAssignments=204 nbBacktracks=1660 nbVisitedNodes=4868
13.83 nbRestartNogoods=14
13.83 => wckTime=12.428 cpuTime=12.35 mem=35M231
13.83
13.83 global
13.83 nbConstraintChecks=4078882 nbValidityChecks=4313031 nbPropagations=466103 nbRevisions=13463419
13.83 nbUselessRevisions=12917035 nbRestartNogoods=14 solvingWckTime=12.429 solvingCpuTime=12.35 expiredTime=no
13.83 totalExploration=no nbFoundSolutions=1 globalCpuTime=13.24
13.83 => wckTime=13.525 cpuTime=13.2 mem=35M231
13.83
13.83 s SATISFIABLE
13.83 v 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0
13.83 d NODES 3615
13.83 d CHECKS 4078882
13.83
13.83 totalWckTime=13.601 totalCpuTime=13.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-215289-1168078168 -o ROOT/results/node39/solver-215289-1168078168 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215289-1168078168/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.00 1.24 1.57 2/65 19360
/proc/meminfo: memFree=1757624/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=1784 CPUtime=0
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156216378 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19359/statm: 446 136 102 14 0 91 0
[startup+0.10233 s]
/proc/loadavg: 1.00 1.24 1.57 2/65 19360
/proc/meminfo: memFree=1757624/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=914988 CPUtime=0.08
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 3001 0 1 0 7 1 0 0 16 0 8 0 156216378 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510364 s]
/proc/loadavg: 1.00 1.24 1.57 2/65 19360
/proc/meminfo: memFree=1757624/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=915328 CPUtime=0.48
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 6927 0 1 0 45 3 0 0 16 0 8 0 156216378 937295872 6666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228832 6669 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33044 s]
/proc/loadavg: 1.00 1.23 1.57 2/72 19367
/proc/meminfo: memFree=1703744/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=915760 CPUtime=1.31
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 16962 0 1 0 109 22 0 0 16 0 8 0 156216378 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072920342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228940 16699 2510 14 0 215410 0
[pid=19359/tid=19361] ppid=19357 vsize=915760 CPUtime=0.06
/proc/19359/task/19361/stat : 19361 (java) S 19357 19359 18431 0 -1 64 734 0 0 0 6 0 0 0 16 0 8 0 156216382 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19362] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 18431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 18431 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156216386 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=915760 CPUtime=0.21
/proc/19359/task/19365/stat : 19365 (java) R 19357 19359 18431 0 -1 64 456 0 0 0 20 1 0 0 16 0 8 0 156216386 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156216386 937738240 16699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156216386 937738240 16699 18446744073709551615 134512640 134570532 4294956480 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) 915760
[startup+2.96758 s]
/proc/loadavg: 1.00 1.23 1.57 2/72 19367
/proc/meminfo: memFree=1700352/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=915760 CPUtime=2.94
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 17048 0 1 0 271 23 0 0 17 0 8 0 156216378 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228940 16783 2533 14 0 215410 0
[pid=19359/tid=19361] ppid=19357 vsize=915760 CPUtime=0.06
/proc/19359/task/19361/stat : 19361 (java) S 19357 19359 18431 0 -1 64 735 0 0 0 6 0 0 0 17 0 8 0 156216382 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19362] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 18431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 18431 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156216386 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=915760 CPUtime=0.27
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 18431 0 -1 64 493 0 0 0 25 2 0 0 15 0 8 0 156216386 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156216386 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156216386 937738240 16783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915760
[startup+6.17088 s]
/proc/loadavg: 1.00 1.23 1.56 2/72 19367
/proc/meminfo: memFree=1700160/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=915760 CPUtime=6.14
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 17060 0 1 0 591 23 0 0 18 0 8 0 156216378 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228940 16792 2533 14 0 215410 0
[pid=19359/tid=19361] ppid=19357 vsize=915760 CPUtime=0.06
/proc/19359/task/19361/stat : 19361 (java) S 19357 19359 18431 0 -1 64 735 0 0 0 6 0 0 0 17 0 8 0 156216382 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19362] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 18431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 18431 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156216386 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=915760 CPUtime=0.28
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 18431 0 -1 64 502 0 0 0 26 2 0 0 16 0 8 0 156216386 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156216386 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156216386 937738240 16792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915760
[startup+12.6305 s]
/proc/loadavg: 1.00 1.22 1.56 2/72 19367
/proc/meminfo: memFree=1700160/2055920 swapFree=4192812/4192956
[pid=19359] ppid=19357 vsize=915760 CPUtime=12.59
/proc/19359/stat : 19359 (java) R 19357 19359 18431 0 -1 0 17064 0 1 0 1236 23 0 0 17 0 8 0 156216378 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074034971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 228940 16795 2533 14 0 215410 0
[pid=19359/tid=19361] ppid=19357 vsize=915760 CPUtime=0.06
/proc/19359/task/19361/stat : 19361 (java) S 19357 19359 18431 0 -1 64 735 0 0 0 6 0 0 0 16 0 8 0 156216382 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 18431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 18431 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156216382 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156216386 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=915760 CPUtime=0.29
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 18431 0 -1 64 505 0 0 0 27 2 0 0 16 0 8 0 156216386 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156216386 937738240 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=915760 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156216386 937738240 16795 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) 915760
Child status: 0
Real time (s): 13.8756
CPU time (s): 13.8239
CPU user time (s): 13.5729
CPU system time (s): 0.250961
CPU usage (%): 99.6271
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5729
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17074
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= 1364
involuntary context switches= 88
runsolver used 0.017997 s user time and 0.041993 s system time
The end
Begin job on node39 on Sat Jan 6 10:09:28 UTC 2007
IDJOB= 215289
IDBENCH= 4990
FILE ID= node39/215289-1168078168
PBS_JOBID= 3476007
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32b2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215289-1168078168/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-215289-1168078168 -o ROOT/results/node39/solver-215289-1168078168 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215289-1168078168/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= be67f342ecfcecef4d820ae123e10d38
RANDOM SEED= 881889403
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: 1758104 kB
Buffers: 25884 kB
Cached: 185596 kB
SwapCached: 0 kB
Active: 58688 kB
Inactive: 168624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1758104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 26024 kB
Slab: 56564 kB
Committed_AS: 2922400 kB
PageTables: 1416 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:09:42 UTC 2007