0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208464-1168074709/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=343 nbRelationTypes=343 nbExtensionStructures=343 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=343 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3071 maxDegree=21
0.64 maxArity=2
0.64 => wckTime=0.326 cpuTime=0.23 mem=12M804
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.521 cpuTime=0.36 mem=13M930
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.01 mem=13M930
0.89
0.89 search
0.89 run=0 nbConstraintChecks=28637 nbPropagations=453 nbRevisions=4566 nbUselessRevisions=3796 nbAssignments=26
0.89 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.051 cpuTime=0.03 mem=14M905
0.91
0.91 search
0.91 run=1 nbConstraintChecks=74544 nbPropagations=1545 nbRevisions=17337 nbUselessRevisions=14222 nbAssignments=62
0.91 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.076 cpuTime=0.05 mem=14M905
0.94
0.94 search
0.94 run=2 nbConstraintChecks=129781 nbPropagations=3462 nbRevisions=40682 nbUselessRevisions=33271
0.94 nbAssignments=106 nbFailedAssignments=33 nbBacktracks=47 nbVisitedNodes=165 nbRestartNogoods=6 mapSize=40
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.099 cpuTime=0.07 mem=14M905
0.95
0.95 search
0.95 run=3 nbConstraintChecks=206274 nbPropagations=6532 nbRevisions=79376 nbUselessRevisions=64852
0.95 nbAssignments=173 nbFailedAssignments=57 nbBacktracks=80 nbVisitedNodes=273 nbRestartNogoods=8 mapSize=66
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.118 cpuTime=0.08 mem=14M905
0.98
0.98 search
0.98 run=4 nbConstraintChecks=333976 nbPropagations=11332 nbRevisions=139892 nbUselessRevisions=113900
0.98 nbAssignments=263 nbFailedAssignments=89 nbBacktracks=131 nbVisitedNodes=428 nbRestartNogoods=13 mapSize=111
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.145 cpuTime=0.11 mem=14M905
1.02
1.02 search
1.02 run=5 nbConstraintChecks=499079 nbPropagations=18473 nbRevisions=231707 nbUselessRevisions=188021
1.02 nbAssignments=396 nbFailedAssignments=139 nbBacktracks=207 nbVisitedNodes=655 nbRestartNogoods=17 mapSize=181
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.184 cpuTime=0.14 mem=14M905
1.07
1.07 search
1.07 run=6 nbConstraintChecks=722748 nbPropagations=28790 nbRevisions=367098 nbUselessRevisions=297745
1.07 nbAssignments=587 nbFailedAssignments=207 nbBacktracks=320 nbVisitedNodes=974 nbRestartNogoods=19 mapSize=272
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.232 cpuTime=0.19 mem=14M905
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1088606 nbPropagations=44224 nbRevisions=575624 nbUselessRevisions=467244
1.15 nbAssignments=884 nbFailedAssignments=321 nbBacktracks=496 nbVisitedNodes=1484 nbRestartNogoods=25 mapSize=422
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.311 cpuTime=0.26 mem=14M905
1.27
1.27 search
1.27 run=8 nbConstraintChecks=1716929 nbPropagations=68059 nbRevisions=903213 nbUselessRevisions=733533
1.27 nbAssignments=1331 nbFailedAssignments=502 nbBacktracks=753 nbVisitedNodes=2272 nbRestartNogoods=31
1.27 mapSize=655 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.432 cpuTime=0.38 mem=14M905
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2409539 nbPropagations=101907 nbRevisions=1368259 nbUselessRevisions=1111320
1.41 nbAssignments=1954 nbFailedAssignments=731 nbBacktracks=1138 nbVisitedNodes=3316 nbRestartNogoods=41
1.41 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.576 cpuTime=0.51 mem=14M905
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M905)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=3633466 nbPropagations=152949 nbRevisions=2081732 nbUselessRevisions=1692360
1.63 nbAssignments=2936 nbFailedAssignments=1129 nbBacktracks=1714 nbVisitedNodes=5016 nbRestartNogoods=49
1.63 => wckTime=0.795 cpuTime=0.72 mem=14M905
1.92
1.92 search
1.92 run=11 nbConstraintChecks=5364634 nbPropagations=228355 nbRevisions=3143916 nbUselessRevisions=2557802
1.92 nbAssignments=4362 nbFailedAssignments=1681 nbBacktracks=2581 nbVisitedNodes=7465 nbRestartNogoods=54
1.92 => wckTime=1.087 cpuTime=1.01 mem=14M905
2.37
2.37 search
2.37 run=12 nbConstraintChecks=8079737 nbPropagations=342358 nbRevisions=4750131 nbUselessRevisions=3865476
2.37 nbAssignments=6549 nbFailedAssignments=2561 nbBacktracks=3879 nbVisitedNodes=11290 nbRestartNogoods=60
2.37 => wckTime=1.532 cpuTime=1.45 mem=14M905
2.97
2.97 search
2.97 run=13 nbConstraintChecks=11686655 nbPropagations=508645 nbRevisions=7091698 nbUselessRevisions=5772338
2.97 nbAssignments=9660 nbFailedAssignments=3718 nbBacktracks=5826 nbVisitedNodes=16566 nbRestartNogoods=70
2.97 => wckTime=2.135 cpuTime=2.05 mem=14M905
4.01
4.01 search
4.01 run=14 nbConstraintChecks=18267205 nbPropagations=763695 nbRevisions=10682109 nbUselessRevisions=8688984
4.01 nbAssignments=14545 nbFailedAssignments=5670 nbBacktracks=8751 nbVisitedNodes=25063 nbRestartNogoods=76
4.01 => wckTime=3.176 cpuTime=3.08 mem=14M905
5.48
5.48 search
5.48 run=15 nbConstraintChecks=27179070 nbPropagations=1145852 nbRevisions=16084438 nbUselessRevisions=13084153
5.48 nbAssignments=21870 nbFailedAssignments=8606 nbBacktracks=13133 nbVisitedNodes=37790 nbRestartNogoods=85
5.48 => wckTime=4.643 cpuTime=4.53 mem=14M905
7.40
7.40 search
7.40 run=16 nbConstraintChecks=39739166 nbPropagations=1710578 nbRevisions=24087709 nbUselessRevisions=19607049
7.40 nbAssignments=32638 nbFailedAssignments=12796 nbBacktracks=19704 nbVisitedNodes=56341 nbRestartNogoods=90
7.40 => wckTime=6.568 cpuTime=6.45 mem=14M905
10.66
10.66 search
10.66 run=17 nbConstraintChecks=62242114 nbPropagations=2579823 nbRevisions=36416484 nbUselessRevisions=29639121
10.66 nbAssignments=49173 nbFailedAssignments=19472 nbBacktracks=29557 nbVisitedNodes=85324 nbRestartNogoods=100
10.66 => wckTime=9.821 cpuTime=9.7 mem=14M905
15.04
15.04 search
15.04 run=18 nbConstraintChecks=91548849 nbPropagations=3864883 nbRevisions=54544115 nbUselessRevisions=44382262
15.04 nbAssignments=72909 nbFailedAssignments=28422 nbBacktracks=44335 nbVisitedNodes=125974 nbRestartNogoods=107
15.04 => wckTime=14.207 cpuTime=14.07 mem=14M905
22.13
22.13 search
22.13 run=19 nbConstraintChecks=139721431 nbPropagations=5817806 nbRevisions=82177703 nbUselessRevisions=66861881
22.13 nbAssignments=109782 nbFailedAssignments=43120 nbBacktracks=66503 nbVisitedNodes=190318 nbRestartNogoods=120
22.13 => wckTime=21.296 cpuTime=21.16 mem=14M905
32.22
32.22 search
32.22 run=20 nbConstraintChecks=207570967 nbPropagations=8722018 nbRevisions=123513403 nbUselessRevisions=100540055
32.22 nbAssignments=164135 nbFailedAssignments=64213 nbBacktracks=99756 nbVisitedNodes=284120 nbRestartNogoods=126
32.22 => wckTime=31.387 cpuTime=31.22 mem=14M905
47.12
47.12 search
47.12 run=21 nbConstraintChecks=306954638 nbPropagations=13035276 nbRevisions=184935471 nbUselessRevisions=150613878
47.12 nbAssignments=244748 nbFailedAssignments=94938 nbBacktracks=149635 nbVisitedNodes=422979 nbRestartNogoods=137
47.12 => wckTime=46.286 cpuTime=46.12 mem=14M905
70.90
70.90 search
70.90 run=22 nbConstraintChecks=470504572 nbPropagations=19574509 nbRevisions=278129599 nbUselessRevisions=226531019
70.90 nbAssignments=368863 nbFailedAssignments=144227 nbBacktracks=224454 nbVisitedNodes=638629 nbRestartNogoods=153
70.90 => wckTime=70.062 cpuTime=69.88 mem=14M905
99.86
99.86 search
99.86 run=23 nbConstraintChecks=664135759 nbPropagations=28845045 nbRevisions=410526115 nbUselessRevisions=334500127
99.86 nbAssignments=524674 nbFailedAssignments=203796 nbBacktracks=320656 nbVisitedNodes=907177 nbRestartNogoods=165
99.86 => wckTime=99.021 cpuTime=98.8 mem=14M905
99.86
99.86 global
99.86 nbConstraintChecks=664135759 nbPropagations=28845085 nbRevisions=410526115 nbUselessRevisions=334500127
99.86 nbRestartNogoods=165 solvingWckTime=99.022 solvingCpuTime=98.8 expiredTime=no totalExploration=no
99.86 nbFoundSolutions=1 globalCpuTime=99.21
99.86 => wckTime=99.546 cpuTime=99.16 mem=14M905
99.86
99.86 s SATISFIABLE
99.86 v 4 5 15 12 11 18 6 7 5 13 0 15 2 9 8 0 17 7 14 1 2 13 4 5 12 14 15 2 17 9 16 1 14 2 12 14 16 2 2 6
99.86 d NODES 524674
99.86 d CHECKS 664135759
99.86
99.86 totalWckTime=99.628 totalCpuTime=99.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208464-1168074709 -o ROOT/results/node72/solver-208464-1168074709 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208464-1168074709/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.37 1.29 1.52 3/93 548
/proc/meminfo: memFree=1441960/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=18540 CPUtime=0
/proc/547/stat : 547 (runsolver) R 545 547 32648 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155879708 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/547/statm: 4635 279 244 17 0 2626 0
[startup+0.108552 s]
/proc/loadavg: 1.37 1.29 1.52 3/93 548
/proc/meminfo: memFree=1441960/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=914988 CPUtime=0.09
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 3031 0 1 0 8 1 0 0 17 0 8 0 155879708 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155477106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/547/statm: 228747 2777 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516589 s]
/proc/loadavg: 1.37 1.29 1.52 3/93 548
/proc/meminfo: memFree=1441960/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915328 CPUtime=0.49
/proc/547/stat : 547 (java) S 545 547 32648 0 -1 0 6879 0 1 0 45 4 0 0 18 0 8 0 155879708 937295872 6618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/547/statm: 228832 6618 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33766 s]
/proc/loadavg: 1.37 1.29 1.52 3/100 555
/proc/meminfo: memFree=1414000/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=1.3
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8636 0 1 0 124 6 0 0 20 0 8 0 155879708 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/547/statm: 228864 8374 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.21
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 155879716 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9748 s]
/proc/loadavg: 1.50 1.32 1.53 3/100 555
/proc/meminfo: memFree=1413744/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=2.92
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8669 0 1 0 286 6 0 0 25 0 8 0 155879708 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/547/statm: 228864 8406 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.23
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155879716 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.2691 s]
/proc/loadavg: 1.50 1.32 1.53 2/88 555
/proc/meminfo: memFree=1437840/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=6.19
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8676 0 1 0 613 6 0 0 25 0 8 0 155879708 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/547/statm: 228864 8413 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.23
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155879716 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7397 s]
/proc/loadavg: 1.57 1.34 1.53 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=12.66
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8681 0 1 0 1259 7 0 0 25 0 8 0 155879708 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/547/statm: 228864 8418 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.23
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155879716 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6089 s]
/proc/loadavg: 1.64 1.37 1.54 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=25.52
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8688 0 1 0 2545 7 0 0 25 0 8 0 155879708 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/547/statm: 228864 8424 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.23
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155879716 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915456
[startup+51.2142 s]
/proc/loadavg: 1.76 1.42 1.55 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=547] ppid=545 vsize=915456 CPUtime=51.08
/proc/547/stat : 547 (java) R 545 547 32648 0 -1 0 8692 0 1 0 5101 7 0 0 25 0 8 0 155879708 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/547/statm: 228864 8428 2513 14 0 215334 0
[pid=547/tid=549] ppid=545 vsize=915456 CPUtime=0.03
/proc/547/task/549/stat : 549 (java) S 545 547 32648 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155879712 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=550] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/550/stat : 550 (java) S 545 547 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879713 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=551] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/551/stat : 551 (java) S 545 547 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155879713 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=552] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/552/stat : 552 (java) S 545 547 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155879716 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=553] ppid=545 vsize=915456 CPUtime=0.23
/proc/547/task/553/stat : 553 (java) S 545 547 32648 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155879716 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=547/tid=554] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/554/stat : 554 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879716 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=547/tid=555] ppid=545 vsize=915456 CPUtime=0
/proc/547/task/555/stat : 555 (java) S 545 547 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155879716 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 99.9869
CPU time (s): 99.7048
CPU user time (s): 99.6169
CPU system time (s): 0.087986
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.6169
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8787
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= 2855
involuntary context switches= 4001
runsolver used 0.116982 s user time and 0.336948 s system time
The end
Begin job on node72 on Sat Jan 6 09:11:49 UTC 2007
IDJOB= 208464
IDBENCH= 4396
FILE ID= node72/208464-1168074709
PBS_JOBID= 3476024
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208464-1168074709/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208464-1168074709 -o ROOT/results/node72/solver-208464-1168074709 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208464-1168074709/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fec419f8420a70dd65f42166152302ec
RANDOM SEED= 260856217
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.223
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.223
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: 1443144 kB
Buffers: 40708 kB
Cached: 432096 kB
SwapCached: 0 kB
Active: 163552 kB
Inactive: 376492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1443144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3820 kB
Writeback: 0 kB
Mapped: 95248 kB
Slab: 57468 kB
Committed_AS: 3399920 kB
PageTables: 2348 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= 66549 MiB
End job on node72 on Sat Jan 6 09:13:29 UTC 2007