0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/226326-1168080688/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.51
0.51 constraints being loaded...
0.59 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.59 => wckTime=0.291 cpuTime=0.24 mem=15M762
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.477 cpuTime=0.36 mem=13M789
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.83
0.83 search
0.83 run=0 nbConstraintChecks=39966 nbPropagations=685 nbRevisions=3475 nbUselessRevisions=2239 nbAssignments=31
0.83 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.049 cpuTime=0.03 mem=14M764
0.85
0.85 search
0.85 run=1 nbConstraintChecks=107061 nbPropagations=2312 nbRevisions=12472 nbUselessRevisions=7920 nbAssignments=77
0.85 nbFailedAssignments=35 nbBacktracks=29 nbVisitedNodes=130 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.071 cpuTime=0.05 mem=14M764
0.86
0.86 search
0.86 run=2 nbConstraintChecks=166920 nbPropagations=4981 nbRevisions=27153 nbUselessRevisions=17171
0.86 nbAssignments=121 nbFailedAssignments=51 nbBacktracks=53 nbVisitedNodes=204 nbRestartNogoods=4 mapSize=41
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.087 cpuTime=0.06 mem=14M764
0.88
0.88 search
0.88 run=3 nbConstraintChecks=241155 nbPropagations=8784 nbRevisions=48397 nbUselessRevisions=30586
0.88 nbAssignments=184 nbFailedAssignments=74 nbBacktracks=87 nbVisitedNodes=306 nbRestartNogoods=5 mapSize=67
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.102 cpuTime=0.07 mem=14M764
0.91
0.91 search
0.91 run=4 nbConstraintChecks=473878 nbPropagations=15877 nbRevisions=89288 nbUselessRevisions=56096
0.91 nbAssignments=322 nbFailedAssignments=155 nbBacktracks=138 nbVisitedNodes=564 nbRestartNogoods=9 mapSize=113
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.138 cpuTime=0.1 mem=14M764
0.95
0.95 search
0.95 run=5 nbConstraintChecks=689151 nbPropagations=26215 nbRevisions=148859 nbUselessRevisions=93164
0.95 nbAssignments=472 nbFailedAssignments=223 nbBacktracks=216 nbVisitedNodes=829 nbRestartNogoods=15 mapSize=177
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.169 cpuTime=0.13 mem=14M764
1.00
1.00 search
1.00 run=6 nbConstraintChecks=1057834 nbPropagations=42285 nbRevisions=241540 nbUselessRevisions=150535
1.00 nbAssignments=734 nbFailedAssignments=365 nbBacktracks=329 nbVisitedNodes=1304 nbRestartNogoods=20 mapSize=278
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.224 cpuTime=0.19 mem=14M764
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1629090 nbPropagations=66788 nbRevisions=382552 nbUselessRevisions=236782
1.08 nbAssignments=1099 nbFailedAssignments=555 nbBacktracks=499 nbVisitedNodes=1959 nbRestartNogoods=26
1.08 mapSize=414 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.306 cpuTime=0.26 mem=14M764
1.22
1.22 search
1.22 run=8 nbConstraintChecks=2537441 nbPropagations=105336 nbRevisions=608226 nbUselessRevisions=375460
1.22 nbAssignments=1694 nbFailedAssignments=888 nbBacktracks=756 nbVisitedNodes=3060 nbRestartNogoods=39
1.22 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.441 cpuTime=0.38 mem=14M764
1.34
1.34 search
1.34 run=9 nbConstraintChecks=3488696 nbPropagations=158776 nbRevisions=916609 nbUselessRevisions=564804
1.34 nbAssignments=2410 nbFailedAssignments=1215 nbBacktracks=1140 nbVisitedNodes=4297 nbRestartNogoods=54
1.34 mapSize=937 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.563 cpuTime=0.5 mem=14M764
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M764)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=5519750 nbPropagations=243600 nbRevisions=1414625 nbUselessRevisions=871239
1.59 nbAssignments=3717 nbFailedAssignments=1940 nbBacktracks=1716 nbVisitedNodes=6727 nbRestartNogoods=62
1.59 => wckTime=0.816 cpuTime=0.74 mem=14M764
1.84
1.84 search
1.84 run=11 nbConstraintChecks=7632721 nbPropagations=362723 nbRevisions=2104894 nbUselessRevisions=1296298
1.84 nbAssignments=5315 nbFailedAssignments=2670 nbBacktracks=2580 nbVisitedNodes=9533 nbRestartNogoods=73
1.84 => wckTime=1.064 cpuTime=0.99 mem=14M764
2.31
2.31 search
2.31 run=12 nbConstraintChecks=11727152 nbPropagations=545382 nbRevisions=3159042 nbUselessRevisions=1945072
2.31 nbAssignments=7840 nbFailedAssignments=3892 nbBacktracks=3877 nbVisitedNodes=14096 nbRestartNogoods=78
2.31 => wckTime=1.535 cpuTime=1.46 mem=14M764
2.93
2.93 search
2.93 run=13 nbConstraintChecks=17187810 nbPropagations=807902 nbRevisions=4681180 nbUselessRevisions=2879287
2.93 nbAssignments=11467 nbFailedAssignments=5569 nbBacktracks=5824 nbVisitedNodes=20444 nbRestartNogoods=85
2.93 => wckTime=2.152 cpuTime=2.08 mem=14M764
3.96
3.97 search
3.97 run=14 nbConstraintChecks=25921403 nbPropagations=1208858 nbRevisions=7022072 nbUselessRevisions=4315746
3.97 nbAssignments=17524 nbFailedAssignments=8702 nbBacktracks=8747 nbVisitedNodes=31387 nbRestartNogoods=98
3.97 => wckTime=3.188 cpuTime=3.11 mem=14M764
5.32
5.32 search
5.32 run=15 nbConstraintChecks=37661790 nbPropagations=1793553 nbRevisions=10400366 nbUselessRevisions=6386156
5.32 nbAssignments=25779 nbFailedAssignments=12571 nbBacktracks=13126 nbVisitedNodes=45954 nbRestartNogoods=99
5.32 => wckTime=4.541 cpuTime=4.47 mem=14M764
7.66
7.66 search
7.66 run=16 nbConstraintChecks=57892212 nbPropagations=2690171 nbRevisions=15637079 nbUselessRevisions=9603397
7.66 nbAssignments=39406 nbFailedAssignments=19625 nbBacktracks=19695 nbVisitedNodes=70611 nbRestartNogoods=107
7.66 => wckTime=6.888 cpuTime=6.81 mem=14M764
10.96
10.96 search
10.96 run=17 nbConstraintChecks=86271830 nbPropagations=4023627 nbRevisions=23430149 nbUselessRevisions=14392813
10.96 nbAssignments=58726 nbFailedAssignments=29089 nbBacktracks=29547 nbVisitedNodes=105067 nbRestartNogoods=115
10.96 => wckTime=10.182 cpuTime=10.11 mem=14M764
16.07
16.07 search
16.07 run=18 nbConstraintChecks=130116169 nbPropagations=6035838 nbRevisions=35204780 nbUselessRevisions=21633003
16.07 nbAssignments=88854 nbFailedAssignments=44431 nbBacktracks=44328 nbVisitedNodes=159178 nbRestartNogoods=117
16.07 => wckTime=15.293 cpuTime=15.22 mem=14M764
23.99
23.99 search
23.99 run=19 nbConstraintChecks=199405022 nbPropagations=9095322 nbRevisions=53125719 nbUselessRevisions=32655688
23.99 nbAssignments=133884 nbFailedAssignments=67291 nbBacktracks=66496 nbVisitedNodes=240243 nbRestartNogoods=121
23.99 => wckTime=23.209 cpuTime=23.13 mem=14M764
25.04
25.04 search
25.04 run=20 nbConstraintChecks=208692708 nbPropagations=12292497 nbRevisions=71869833 nbUselessRevisions=44186616
25.04 nbAssignments=139871 nbFailedAssignments=70425 nbBacktracks=69309 nbVisitedNodes=251088 nbRestartNogoods=133
25.04 => wckTime=24.261 cpuTime=24.18 mem=14M764
25.04
25.04 global
25.04 nbConstraintChecks=208692708 nbPropagations=12292537 nbRevisions=71869833 nbUselessRevisions=44186616
25.04 nbRestartNogoods=133 solvingWckTime=24.262 solvingCpuTime=24.18 expiredTime=no totalExploration=no
25.04 nbFoundSolutions=1 globalCpuTime=24.59
25.04 => wckTime=24.744 cpuTime=24.54 mem=14M764
25.04
25.04 s SATISFIABLE
25.04 v 35 38 19 27 22 12 8 21 39 39 4 36 33 23 3 14 5 29 10 32 13 17 32 4 28 4 36 9 5 29 19 23 6 24 10 20 14 35 28 38
25.04 d NODES 139871
25.04 d CHECKS 208692708
25.04
25.04 totalWckTime=24.82 totalCpuTime=24.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-226326-1168080688 -o ROOT/results/node56/solver-226326-1168080688 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226326-1168080688/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: 0.22 0.60 0.82 3/68 8378
/proc/meminfo: memFree=1639648/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=308 CPUtime=0
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 57 0 0 0 0 0 0 0 20 0 1 0 156467948 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8377/statm: 374 41 32 14 0 5 0
[startup+0.103597 s]
/proc/loadavg: 0.22 0.60 0.82 3/68 8378
/proc/meminfo: memFree=1639648/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=914988 CPUtime=0.08
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 3050 0 1 0 7 1 0 0 16 0 8 0 156467948 936947712 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511621 s]
/proc/loadavg: 0.22 0.60 0.82 3/68 8378
/proc/meminfo: memFree=1639648/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=915328 CPUtime=0.49
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 7720 0 1 0 44 5 0 0 17 0 8 0 156467948 937295872 7459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228832 7459 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3317 s]
/proc/loadavg: 0.28 0.61 0.82 2/75 8385
/proc/meminfo: memFree=1614312/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=915464 CPUtime=1.3
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 9081 0 1 0 124 6 0 0 17 0 8 0 156467948 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228866 8819 2513 14 0 215336 0
[pid=8377/tid=8379] ppid=8375 vsize=915464 CPUtime=0.03
/proc/8377/task/8379/stat : 8379 (java) S 8375 8377 8141 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156467951 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8377/tid=8380] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8380/stat : 8380 (java) S 8375 8377 8141 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8381] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8381/stat : 8381 (java) S 8375 8377 8141 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8382] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8382/stat : 8382 (java) S 8375 8377 8141 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156467955 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8383] ppid=8375 vsize=915464 CPUtime=0.16
/proc/8377/task/8383/stat : 8383 (java) S 8375 8377 8141 0 -1 64 371 0 0 0 15 1 0 0 16 0 8 0 156467955 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8384] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8384/stat : 8384 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156467955 937435136 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8385] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8385/stat : 8385 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467955 937435136 8819 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) 915464
[startup+2.96786 s]
/proc/loadavg: 0.28 0.61 0.82 2/75 8385
/proc/meminfo: memFree=1614248/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=915464 CPUtime=2.93
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 9087 0 1 0 287 6 0 0 18 0 8 0 156467948 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228866 8824 2513 14 0 215336 0
[pid=8377/tid=8379] ppid=8375 vsize=915464 CPUtime=0.03
/proc/8377/task/8379/stat : 8379 (java) S 8375 8377 8141 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156467951 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8377/tid=8380] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8380/stat : 8380 (java) S 8375 8377 8141 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8381] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8381/stat : 8381 (java) S 8375 8377 8141 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8382] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8382/stat : 8382 (java) S 8375 8377 8141 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8383] ppid=8375 vsize=915464 CPUtime=0.17
/proc/8377/task/8383/stat : 8383 (java) S 8375 8377 8141 0 -1 64 376 0 0 0 16 1 0 0 15 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8384] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8384/stat : 8384 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8385] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8385/stat : 8385 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467955 937435136 8824 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) 915464
[startup+6.25118 s]
/proc/loadavg: 0.34 0.61 0.82 2/75 8385
/proc/meminfo: memFree=1614248/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=915464 CPUtime=6.22
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 9088 0 1 0 616 6 0 0 20 0 8 0 156467948 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228866 8824 2513 14 0 215336 0
[pid=8377/tid=8379] ppid=8375 vsize=915464 CPUtime=0.03
/proc/8377/task/8379/stat : 8379 (java) S 8375 8377 8141 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156467951 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8377/tid=8380] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8380/stat : 8380 (java) S 8375 8377 8141 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8381] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8381/stat : 8381 (java) S 8375 8377 8141 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8382] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8382/stat : 8382 (java) S 8375 8377 8141 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8383] ppid=8375 vsize=915464 CPUtime=0.18
/proc/8377/task/8383/stat : 8383 (java) S 8375 8377 8141 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8384] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8384/stat : 8384 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8385] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8385/stat : 8385 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7258 s]
/proc/loadavg: 0.39 0.62 0.82 2/75 8385
/proc/meminfo: memFree=1614248/2055920 swapFree=4184772/4192956
[pid=8377] ppid=8375 vsize=915464 CPUtime=12.69
/proc/8377/stat : 8377 (java) R 8375 8377 8141 0 -1 0 9088 0 1 0 1263 6 0 0 25 0 8 0 156467948 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8377/statm: 228866 8824 2513 14 0 215336 0
[pid=8377/tid=8379] ppid=8375 vsize=915464 CPUtime=0.03
/proc/8377/task/8379/stat : 8379 (java) S 8375 8377 8141 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156467951 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8377/tid=8380] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8380/stat : 8380 (java) S 8375 8377 8141 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8381] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8381/stat : 8381 (java) S 8375 8377 8141 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467952 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8382] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8382/stat : 8382 (java) S 8375 8377 8141 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8383] ppid=8375 vsize=915464 CPUtime=0.18
/proc/8377/task/8383/stat : 8383 (java) S 8375 8377 8141 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8384] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8384/stat : 8384 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8377/tid=8385] ppid=8375 vsize=915464 CPUtime=0
/proc/8377/task/8385/stat : 8385 (java) S 8375 8377 8141 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467955 937435136 8824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 25.1027
CPU time (s): 25.0242
CPU user time (s): 24.9512
CPU system time (s): 0.072988
CPU usage (%): 99.6873
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9512
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9095
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= 1257
involuntary context switches= 166
runsolver used 0.026995 s user time and 0.072988 s system time
The end
Begin job on node56 on Sat Jan 6 10:51:32 UTC 2007
IDJOB= 226326
IDBENCH= 5960
FILE ID= node56/226326-1168080688
PBS_JOBID= 3476171
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226326-1168080688/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-226326-1168080688 -o ROOT/results/node56/solver-226326-1168080688 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226326-1168080688/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3665faef25545a6f3cf5755926b3e167
RANDOM SEED= 588993992
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.232
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.232
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: 1640264 kB
Buffers: 30388 kB
Cached: 304288 kB
SwapCached: 2060 kB
Active: 67344 kB
Inactive: 281516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1640264 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4212 kB
Writeback: 0 kB
Mapped: 21104 kB
Slab: 52432 kB
Committed_AS: 2768460 kB
PageTables: 1692 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= 66521 MiB
End job on node56 on Sat Jan 6 10:52:05 UTC 2007