0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/223791-1168080460/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.129 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=2
0.62 => wckTime=0.324 cpuTime=0.22 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.509 cpuTime=0.35 mem=13M749
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0020 cpuTime=0.0 mem=13M749
0.86
0.86 search
0.86 run=0 nbConstraintChecks=30733 nbPropagations=576 nbRevisions=4026 nbUselessRevisions=2947 nbAssignments=26
0.86 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.049 cpuTime=0.03 mem=14M724
0.87
0.87 search
0.87 run=1 nbConstraintChecks=73121 nbPropagations=1795 nbRevisions=12886 nbUselessRevisions=9323 nbAssignments=59
0.87 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=94 nbRestartNogoods=3 mapSize=17 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.066 cpuTime=0.04 mem=14M724
0.89
0.89 search
0.89 run=2 nbConstraintChecks=140127 nbPropagations=4047 nbRevisions=30358 nbUselessRevisions=21630
0.89 nbAssignments=112 nbFailedAssignments=45 nbBacktracks=48 nbVisitedNodes=188 nbRestartNogoods=6 mapSize=36
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.086 cpuTime=0.05 mem=14M724
0.91
0.91 search
0.91 run=3 nbConstraintChecks=222651 nbPropagations=7595 nbRevisions=57773 nbUselessRevisions=40887
0.91 nbAssignments=178 nbFailedAssignments=72 nbBacktracks=82 nbVisitedNodes=298 nbRestartNogoods=10 mapSize=60
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.104 cpuTime=0.06 mem=14M724
0.94
0.94 search
0.94 run=4 nbConstraintChecks=367636 nbPropagations=13505 nbRevisions=103083 nbUselessRevisions=72427
0.94 nbAssignments=277 nbFailedAssignments=114 nbBacktracks=133 nbVisitedNodes=469 nbRestartNogoods=14 mapSize=102
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.129 cpuTime=0.09 mem=14M724
0.98
0.98 search
0.98 run=5 nbConstraintChecks=585020 nbPropagations=23318 nbRevisions=179482 nbUselessRevisions=125746
0.98 nbAssignments=457 nbFailedAssignments=212 nbBacktracks=210 nbVisitedNodes=800 nbRestartNogoods=21 mapSize=176
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.17 cpuTime=0.13 mem=14M724
1.03
1.03 search
1.03 run=6 nbConstraintChecks=870002 nbPropagations=37691 nbRevisions=290487 nbUselessRevisions=202563
1.03 nbAssignments=673 nbFailedAssignments=307 nbBacktracks=324 nbVisitedNodes=1179 nbRestartNogoods=28 mapSize=274
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.219 cpuTime=0.17 mem=14M724
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1336672 nbPropagations=59727 nbRevisions=462975 nbUselessRevisions=321859
1.10 nbAssignments=1004 nbFailedAssignments=461 nbBacktracks=494 nbVisitedNodes=1768 nbRestartNogoods=32
1.10 mapSize=418 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.296 cpuTime=0.25 mem=14M724
1.22
1.22 search
1.22 run=8 nbConstraintChecks=2020095 nbPropagations=92995 nbRevisions=724759 nbUselessRevisions=502720
1.22 nbAssignments=1512 nbFailedAssignments=707 nbBacktracks=754 nbVisitedNodes=2697 nbRestartNogoods=37
1.22 mapSize=648 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.415 cpuTime=0.35 mem=14M724
1.39
1.39 search
1.39 run=9 nbConstraintChecks=3212829 nbPropagations=145622 nbRevisions=1147438 nbUselessRevisions=795507
1.39 nbAssignments=2358 nbFailedAssignments=1161 nbBacktracks=1140 nbVisitedNodes=4278 nbRestartNogoods=39
1.39 mapSize=999 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.585 cpuTime=0.51 mem=14M724
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M724)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=4426745 nbPropagations=220611 nbRevisions=1744006 nbUselessRevisions=1210037
1.57 nbAssignments=3408 nbFailedAssignments=1630 nbBacktracks=1717 nbVisitedNodes=6132 nbRestartNogoods=46
1.57 => wckTime=0.761 cpuTime=0.68 mem=14M724
1.84
1.84 search
1.84 run=11 nbConstraintChecks=6621106 nbPropagations=329998 nbRevisions=2607435 nbUselessRevisions=1804441
1.84 nbAssignments=4960 nbFailedAssignments=2313 nbBacktracks=2581 nbVisitedNodes=8858 nbRestartNogoods=57
1.84 => wckTime=1.034 cpuTime=0.95 mem=14M724
2.32
2.32 search
2.32 run=12 nbConstraintChecks=10363351 nbPropagations=499808 nbRevisions=3973679 nbUselessRevisions=2750757
2.32 nbAssignments=7669 nbFailedAssignments=3720 nbBacktracks=3878 nbVisitedNodes=13837 nbRestartNogoods=67
2.32 => wckTime=1.511 cpuTime=1.42 mem=14M724
2.88
2.88 search
2.88 run=13 nbConstraintChecks=14450583 nbPropagations=740243 nbRevisions=5891054 nbUselessRevisions=4078166
2.88 nbAssignments=11007 nbFailedAssignments=5104 nbBacktracks=5828 nbVisitedNodes=19651 nbRestartNogoods=75
2.88 => wckTime=2.072 cpuTime=1.98 mem=14M724
3.89
3.89 search
3.89 run=14 nbConstraintChecks=22324722 nbPropagations=1099805 nbRevisions=8773906 nbUselessRevisions=6069302
3.89 nbAssignments=16469 nbFailedAssignments=7641 nbBacktracks=8747 nbVisitedNodes=29381 nbRestartNogoods=83
3.89 => wckTime=3.08 cpuTime=2.99 mem=14M724
5.26
5.26 search
5.26 run=15 nbConstraintChecks=32464934 nbPropagations=1630544 nbRevisions=13008608 nbUselessRevisions=8996895
5.26 nbAssignments=24371 nbFailedAssignments=11160 nbBacktracks=13127 nbVisitedNodes=43411 nbRestartNogoods=95
5.26 => wckTime=4.451 cpuTime=4.36 mem=14M724
7.36
7.36 search
7.36 run=16 nbConstraintChecks=48099979 nbPropagations=2420347 nbRevisions=19295951 nbUselessRevisions=13344633
7.36 nbAssignments=36354 nbFailedAssignments=16568 nbBacktracks=19699 nbVisitedNodes=64677 nbRestartNogoods=107
7.36 => wckTime=6.555 cpuTime=6.46 mem=14M724
10.77
10.77 search
10.77 run=17 nbConstraintChecks=74045868 nbPropagations=3617746 nbRevisions=28868895 nbUselessRevisions=19958205
10.77 nbAssignments=54646 nbFailedAssignments=25000 nbBacktracks=29555 nbVisitedNodes=97554 nbRestartNogoods=113
10.77 => wckTime=9.961 cpuTime=9.87 mem=14M724
15.33
15.33 search
15.33 run=18 nbConstraintChecks=106685820 nbPropagations=5390055 nbRevisions=42994395 nbUselessRevisions=29744992
15.33 nbAssignments=81460 nbFailedAssignments=37029 nbBacktracks=44334 nbVisitedNodes=145213 nbRestartNogoods=122
15.33 => wckTime=14.519 cpuTime=14.42 mem=14M724
22.64
22.64 search
22.64 run=19 nbConstraintChecks=160413476 nbPropagations=8090198 nbRevisions=64521433 nbUselessRevisions=44671861
22.64 nbAssignments=123708 nbFailedAssignments=57103 nbBacktracks=66502 nbVisitedNodes=221427 nbRestartNogoods=133
22.64 => wckTime=21.836 cpuTime=21.72 mem=14M724
26.68
26.68 search
26.68 run=20 nbConstraintChecks=190111187 nbPropagations=11290660 nbRevisions=90071570 nbUselessRevisions=62395626
26.68 nbAssignments=146189 nbFailedAssignments=67797 nbBacktracks=78290 nbVisitedNodes=262012 nbRestartNogoods=142
26.68 => wckTime=25.874 cpuTime=25.76 mem=14M724
26.68
26.68 global
26.68 nbConstraintChecks=190111187 nbPropagations=11290700 nbRevisions=90071570 nbUselessRevisions=62395626
26.68 nbRestartNogoods=142 solvingWckTime=25.875 solvingCpuTime=25.76 expiredTime=no totalExploration=yes
26.68 nbFoundSolutions=0 globalCpuTime=26.16
26.68 => wckTime=26.388 cpuTime=26.11 mem=14M724
26.68
26.68 s UNSATISFIABLE
26.68 d NODES 146189
26.68 d CHECKS 190111187
26.68
26.69 totalWckTime=26.463 totalCpuTime=26.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-223791-1168080460 -o ROOT/results/node20/solver-223791-1168080460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223791-1168080460/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.84 1.10 1.41 4/81 23775
/proc/meminfo: memFree=1751752/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=1784 CPUtime=0
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 157 0 0 0 0 0 0 0 19 0 1 0 156441036 1826816 129 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 8039632 0 0 4096 0 0 0 0 17 1 0 0
/proc/23774/statm: 446 136 102 14 0 91 0
[startup+0.107178 s]
/proc/loadavg: 0.84 1.10 1.41 4/81 23775
/proc/meminfo: memFree=1751752/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=914988 CPUtime=0.09
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 3084 0 1 0 8 1 0 0 16 0 8 0 156441036 936947712 2831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228747 2831 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515225 s]
/proc/loadavg: 0.84 1.10 1.41 4/81 23775
/proc/meminfo: memFree=1751752/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915328 CPUtime=0.46
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 7104 0 1 0 43 3 0 0 16 0 8 0 156441036 937295872 6843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228832 6844 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33732 s]
/proc/loadavg: 0.84 1.10 1.41 2/88 23782
/proc/meminfo: memFree=1727952/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915452 CPUtime=1.29
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 8644 0 1 0 123 6 0 0 17 0 8 0 156441036 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23774/statm: 228863 8382 2513 14 0 215333 0
[pid=23774/tid=23776] ppid=23772 vsize=915452 CPUtime=0.03
/proc/23774/task/23776/stat : 23776 (java) S 23772 23774 23567 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156441040 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23777] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23777/stat : 23777 (java) S 23772 23774 23567 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23778] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23778/stat : 23778 (java) S 23772 23774 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23779] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23779/stat : 23779 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156441043 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23780] ppid=23772 vsize=915452 CPUtime=0.2
/proc/23774/task/23780/stat : 23780 (java) S 23772 23774 23567 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 156441043 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23781] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23781/stat : 23781 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156441043 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23782] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23782/stat : 23782 (java) S 23772 23774 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156441043 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.98352 s]
/proc/loadavg: 0.84 1.10 1.41 2/88 23783
/proc/meminfo: memFree=1729680/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915452 CPUtime=2.93
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 8650 0 1 0 287 6 0 0 18 0 8 0 156441036 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228863 8387 2513 14 0 215333 0
[pid=23774/tid=23776] ppid=23772 vsize=915452 CPUtime=0.03
/proc/23774/task/23776/stat : 23776 (java) S 23772 23774 23567 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23777] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23777/stat : 23777 (java) S 23772 23774 23567 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23778] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23778/stat : 23778 (java) S 23772 23774 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23779] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23779/stat : 23779 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23780] ppid=23772 vsize=915452 CPUtime=0.21
/proc/23774/task/23780/stat : 23780 (java) S 23772 23774 23567 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23781] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23781/stat : 23781 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23782] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23782/stat : 23782 (java) S 23772 23774 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156441043 937422848 8387 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.26091 s]
/proc/loadavg: 0.85 1.10 1.41 2/88 23784
/proc/meminfo: memFree=1729488/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915452 CPUtime=6.2
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 8651 0 1 0 614 6 0 0 25 0 8 0 156441036 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228863 8387 2513 14 0 215333 0
[pid=23774/tid=23776] ppid=23772 vsize=915452 CPUtime=0.03
/proc/23774/task/23776/stat : 23776 (java) S 23772 23774 23567 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23777] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23777/stat : 23777 (java) S 23772 23774 23567 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23778] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23778/stat : 23778 (java) S 23772 23774 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23779] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23779/stat : 23779 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23780] ppid=23772 vsize=915452 CPUtime=0.21
/proc/23774/task/23780/stat : 23780 (java) S 23772 23774 23567 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23781] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23781/stat : 23781 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23782] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23782/stat : 23782 (java) S 23772 23774 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7457 s]
/proc/loadavg: 0.87 1.09 1.41 3/100 23830
/proc/meminfo: memFree=1703080/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915452 CPUtime=12.68
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 8651 0 1 0 1262 6 0 0 25 0 8 0 156441036 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228863 8387 2513 14 0 215333 0
[pid=23774/tid=23776] ppid=23772 vsize=915452 CPUtime=0.03
/proc/23774/task/23776/stat : 23776 (java) S 23772 23774 23567 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23777] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23777/stat : 23777 (java) S 23772 23774 23567 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23778] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23778/stat : 23778 (java) S 23772 23774 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23779] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23779/stat : 23779 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23780] ppid=23772 vsize=915452 CPUtime=0.21
/proc/23774/task/23780/stat : 23780 (java) S 23772 23774 23567 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23781] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23781/stat : 23781 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23782] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23782/stat : 23782 (java) S 23772 23774 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915452
[startup+25.5812 s]
/proc/loadavg: 0.96 1.11 1.41 2/88 23841
/proc/meminfo: memFree=1729240/2055920 swapFree=4170284/4192956
[pid=23774] ppid=23772 vsize=915452 CPUtime=25.49
/proc/23774/stat : 23774 (java) R 23772 23774 23567 0 -1 0 8651 0 1 0 2543 6 0 0 25 0 8 0 156441036 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23774/statm: 228863 8387 2513 14 0 215333 0
[pid=23774/tid=23776] ppid=23772 vsize=915452 CPUtime=0.03
/proc/23774/task/23776/stat : 23776 (java) S 23772 23774 23567 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23777] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23777/stat : 23777 (java) S 23772 23774 23567 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23778] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23778/stat : 23778 (java) S 23772 23774 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156441040 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23779] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23779/stat : 23779 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23780] ppid=23772 vsize=915452 CPUtime=0.21
/proc/23774/task/23780/stat : 23780 (java) S 23772 23774 23567 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23774/tid=23781] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23781/stat : 23781 (java) S 23772 23774 23567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23774/tid=23782] ppid=23772 vsize=915452 CPUtime=0
/proc/23774/task/23782/stat : 23782 (java) S 23772 23774 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156441043 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 26.7166
CPU time (s): 26.622
CPU user time (s): 26.549
CPU system time (s): 0.072988
CPU usage (%): 99.6457
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.549
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= 8733
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= 1301
involuntary context switches= 419
runsolver used 0.024996 s user time and 0.083987 s system time
The end
Begin job on node20 on Sat Jan 6 10:47:42 UTC 2007
IDJOB= 223791
IDBENCH= 5679
FILE ID= node20/223791-1168080460
PBS_JOBID= 3476100
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223791-1168080460/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-223791-1168080460 -o ROOT/results/node20/solver-223791-1168080460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223791-1168080460/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 189074ce2eb910bea352f8b76cce4ad2
RANDOM SEED= 996842288
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.216
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.216
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: 1752232 kB
Buffers: 40020 kB
Cached: 164300 kB
SwapCached: 4236 kB
Active: 85100 kB
Inactive: 149808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752232 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 3976 kB
Writeback: 0 kB
Mapped: 44392 kB
Slab: 53812 kB
Committed_AS: 2859292 kB
PageTables: 2220 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= 66546 MiB
End job on node20 on Sat Jan 6 10:48:13 UTC 2007