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/229218-1168080943/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.58 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1346 maxDegree=20
0.58 maxArity=2
0.58 => wckTime=0.275 cpuTime=0.21 mem=11M827
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.462 cpuTime=0.33 mem=13M735
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0040 cpuTime=0.0 mem=13M735
0.81
0.81 search
0.81 run=0 nbConstraintChecks=26606 nbPropagations=536 nbRevisions=4719 nbUselessRevisions=3694 nbAssignments=27
0.81 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.049 cpuTime=0.02 mem=14M710
0.83
0.83 search
0.83 run=1 nbConstraintChecks=67400 nbPropagations=1743 nbRevisions=16176 nbUselessRevisions=12609 nbAssignments=60
0.83 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.067 cpuTime=0.04 mem=14M710
0.85
0.85 search
0.85 run=2 nbConstraintChecks=128767 nbPropagations=3980 nbRevisions=38414 nbUselessRevisions=29758
0.85 nbAssignments=114 nbFailedAssignments=45 nbBacktracks=51 nbVisitedNodes=194 nbRestartNogoods=6 mapSize=47
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.09 cpuTime=0.05 mem=14M710
0.87
0.87 search
0.87 run=3 nbConstraintChecks=204276 nbPropagations=7501 nbRevisions=74339 nbUselessRevisions=57327
0.87 nbAssignments=180 nbFailedAssignments=73 nbBacktracks=85 nbVisitedNodes=309 nbRestartNogoods=8 mapSize=76
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.107 cpuTime=0.07 mem=14M710
0.89
0.89 search
0.89 run=4 nbConstraintChecks=297699 nbPropagations=12714 nbRevisions=128614 nbUselessRevisions=98985
0.89 nbAssignments=277 nbFailedAssignments=113 nbBacktracks=138 nbVisitedNodes=473 nbRestartNogoods=10 mapSize=117
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.13 cpuTime=0.09 mem=14M710
0.93
0.93 search
0.93 run=5 nbConstraintChecks=454343 nbPropagations=20630 nbRevisions=213344 nbUselessRevisions=164384
0.93 nbAssignments=415 nbFailedAssignments=167 nbBacktracks=215 nbVisitedNodes=710 nbRestartNogoods=12 mapSize=184
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.164 cpuTime=0.12 mem=14M710
0.98
0.98 search
0.98 run=6 nbConstraintChecks=669077 nbPropagations=32436 nbRevisions=339677 nbUselessRevisions=262063
0.98 nbAssignments=617 nbFailedAssignments=249 nbBacktracks=329 nbVisitedNodes=1063 nbRestartNogoods=19 mapSize=290
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.211 cpuTime=0.17 mem=14M710
1.04
1.04 search
1.04 run=7 nbConstraintChecks=989954 nbPropagations=49578 nbRevisions=525142 nbUselessRevisions=404954
1.04 nbAssignments=917 nbFailedAssignments=372 nbBacktracks=499 nbVisitedNodes=1578 nbRestartNogoods=24 mapSize=433
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.275 cpuTime=0.23 mem=14M710
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1489335 nbPropagations=75517 nbRevisions=805486 nbUselessRevisions=620084
1.14 nbAssignments=1375 nbFailedAssignments=565 nbBacktracks=757 nbVisitedNodes=2379 nbRestartNogoods=30
1.14 mapSize=659 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.375 cpuTime=0.33 mem=14M710
1.28
1.28 search
1.28 run=9 nbConstraintChecks=2201465 nbPropagations=113874 nbRevisions=1220504 nbUselessRevisions=937465
1.28 nbAssignments=2028 nbFailedAssignments=826 nbBacktracks=1142 nbVisitedNodes=3517 nbRestartNogoods=34
1.28 mapSize=983 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.517 cpuTime=0.46 mem=14M710
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=14M710)
1.46
1.46 search
1.46 run=10 nbConstraintChecks=3180252 nbPropagations=169690 nbRevisions=1827727 nbUselessRevisions=1403626
1.46 nbAssignments=2983 nbFailedAssignments=1197 nbBacktracks=1718 nbVisitedNodes=5174 nbRestartNogoods=45
1.46 => wckTime=0.695 cpuTime=0.62 mem=14M710
1.70
1.70 search
1.70 run=11 nbConstraintChecks=4586692 nbPropagations=252130 nbRevisions=2719341 nbUselessRevisions=2089790
1.70 nbAssignments=4422 nbFailedAssignments=1765 nbBacktracks=2583 nbVisitedNodes=7682 nbRestartNogoods=54
1.70 => wckTime=0.938 cpuTime=0.87 mem=14M710
2.08
2.08 search
2.08 run=12 nbConstraintChecks=6832175 nbPropagations=374793 nbRevisions=4059172 nbUselessRevisions=3122265
2.08 nbAssignments=6612 nbFailedAssignments=2653 nbBacktracks=3881 nbVisitedNodes=11528 nbRestartNogoods=59
2.08 => wckTime=1.312 cpuTime=1.24 mem=14M710
2.66
2.66 search
2.66 run=13 nbConstraintChecks=10349014 nbPropagations=560023 nbRevisions=6077966 nbUselessRevisions=4673732
2.66 nbAssignments=9990 nbFailedAssignments=4079 nbBacktracks=5829 nbVisitedNodes=17452 nbRestartNogoods=63
2.66 => wckTime=1.896 cpuTime=1.82 mem=14M710
3.58
3.58 search
3.58 run=14 nbConstraintChecks=16108966 nbPropagations=843814 nbRevisions=9182351 nbUselessRevisions=7056473
3.58 nbAssignments=15047 nbFailedAssignments=6214 nbBacktracks=8748 nbVisitedNodes=26445 nbRestartNogoods=69
3.58 => wckTime=2.819 cpuTime=2.74 mem=14M710
4.87
4.87 search
4.87 run=15 nbConstraintChecks=23937338 nbPropagations=1267675 nbRevisions=13793240 nbUselessRevisions=10591595
4.87 nbAssignments=22420 nbFailedAssignments=9204 nbBacktracks=13127 nbVisitedNodes=39322 nbRestartNogoods=81
4.87 => wckTime=4.111 cpuTime=4.03 mem=14M710
6.94
6.94 search
6.94 run=16 nbConstraintChecks=36685439 nbPropagations=1912777 nbRevisions=20856840 nbUselessRevisions=16016350
6.94 nbAssignments=33884 nbFailedAssignments=14094 nbBacktracks=19695 nbVisitedNodes=59623 nbRestartNogoods=95
6.94 => wckTime=6.177 cpuTime=6.1 mem=14M710
10.00
10.00 search
10.00 run=17 nbConstraintChecks=55798614 nbPropagations=2884376 nbRevisions=31525499 nbUselessRevisions=24198822
10.00 nbAssignments=50662 nbFailedAssignments=21017 nbBacktracks=29547 nbVisitedNodes=89174 nbRestartNogoods=106
10.00 => wckTime=9.24 cpuTime=9.16 mem=14M710
14.06
14.06 search
14.06 run=18 nbConstraintChecks=81579079 nbPropagations=4294814 nbRevisions=47066884 nbUselessRevisions=36115211
14.06 nbAssignments=73070 nbFailedAssignments=30383 nbBacktracks=42590 nbVisitedNodes=128684 nbRestartNogoods=113
14.06 => wckTime=13.299 cpuTime=13.21 mem=14M710
14.06
14.06 global
14.06 nbConstraintChecks=81579079 nbPropagations=4294854 nbRevisions=47066884 nbUselessRevisions=36115211
14.07 nbRestartNogoods=113 solvingWckTime=13.299 solvingCpuTime=13.21 expiredTime=no totalExploration=yes
14.07 nbFoundSolutions=0 globalCpuTime=13.58
14.07 => wckTime=13.765 cpuTime=13.54 mem=14M710
14.07
14.07 s UNSATISFIABLE
14.07 d NODES 73070
14.07 d CHECKS 81579079
14.07
14.07 totalWckTime=13.839 totalCpuTime=13.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-229218-1168080943 -o ROOT/results/node62/solver-229218-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229218-1168080943/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.05 0.34 0.97 2/68 5075
/proc/meminfo: memFree=1121672/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=1784 CPUtime=0
/proc/5074/stat : 5074 (java) D 5072 5074 4779 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156493773 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/5074/statm: 446 136 102 14 0 91 0
[startup+0.102621 s]
/proc/loadavg: 0.05 0.34 0.97 2/68 5075
/proc/meminfo: memFree=1121672/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=914988 CPUtime=0.08
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 3000 0 1 0 7 1 0 0 16 0 8 0 156493773 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5074/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511699 s]
/proc/loadavg: 0.05 0.34 0.97 2/68 5075
/proc/meminfo: memFree=1121672/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=915328 CPUtime=0.49
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 6717 0 1 0 45 4 0 0 16 0 8 0 156493773 937295872 6456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5074/statm: 228832 6456 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33186 s]
/proc/loadavg: 0.05 0.34 0.97 2/75 5082
/proc/meminfo: memFree=1098256/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=915452 CPUtime=1.3
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 8594 0 1 0 125 5 0 0 17 0 8 0 156493773 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5074/statm: 228863 8332 2513 14 0 215333 0
[pid=5074/tid=5076] ppid=5072 vsize=915452 CPUtime=0.03
/proc/5074/task/5076/stat : 5076 (java) S 5072 5074 4779 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156493776 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5074/tid=5077] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5077/stat : 5077 (java) S 5072 5074 4779 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5078] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5078/stat : 5078 (java) S 5072 5074 4779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5079] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5079/stat : 5079 (java) S 5072 5074 4779 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156493780 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5080] ppid=5072 vsize=915452 CPUtime=0.19
/proc/5074/task/5080/stat : 5080 (java) S 5072 5074 4779 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 156493780 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5081] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5081/stat : 5081 (java) S 5072 5074 4779 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156493780 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5082] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5082/stat : 5082 (java) S 5072 5074 4779 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156493780 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.96818 s]
/proc/loadavg: 0.05 0.34 0.97 2/75 5082
/proc/meminfo: memFree=1098064/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=915452 CPUtime=2.93
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 8610 0 1 0 288 5 0 0 17 0 8 0 156493773 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5074/statm: 228863 8346 2513 14 0 215333 0
[pid=5074/tid=5076] ppid=5072 vsize=915452 CPUtime=0.03
/proc/5074/task/5076/stat : 5076 (java) S 5072 5074 4779 0 -1 64 243 0 0 0 3 0 0 0 17 0 8 0 156493776 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5074/tid=5077] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5077/stat : 5077 (java) S 5072 5074 4779 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5078] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5078/stat : 5078 (java) S 5072 5074 4779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5079] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5079/stat : 5079 (java) S 5072 5074 4779 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156493780 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5080] ppid=5072 vsize=915452 CPUtime=0.2
/proc/5074/task/5080/stat : 5080 (java) S 5072 5074 4779 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156493780 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5081] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5081/stat : 5081 (java) S 5072 5074 4779 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156493780 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5082] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5082/stat : 5082 (java) S 5072 5074 4779 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156493780 937422848 8346 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.26383 s]
/proc/loadavg: 0.12 0.36 0.97 3/75 5082
/proc/meminfo: memFree=1098064/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=915452 CPUtime=6.23
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 8615 0 1 0 618 5 0 0 23 0 8 0 156493773 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5074/statm: 228863 8351 2513 14 0 215333 0
[pid=5074/tid=5076] ppid=5072 vsize=915452 CPUtime=0.03
/proc/5074/task/5076/stat : 5076 (java) S 5072 5074 4779 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156493776 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5074/tid=5077] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5077/stat : 5077 (java) S 5072 5074 4779 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5078] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5078/stat : 5078 (java) S 5072 5074 4779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5079] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5079/stat : 5079 (java) S 5072 5074 4779 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156493780 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5080] ppid=5072 vsize=915452 CPUtime=0.2
/proc/5074/task/5080/stat : 5080 (java) S 5072 5074 4779 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156493780 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5081] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5081/stat : 5081 (java) S 5072 5074 4779 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156493780 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5082] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5082/stat : 5082 (java) S 5072 5074 4779 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156493780 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.7321 s]
/proc/loadavg: 0.19 0.37 0.97 2/75 5082
/proc/meminfo: memFree=1098000/2055920 swapFree=4192812/4192956
[pid=5074] ppid=5072 vsize=915452 CPUtime=12.69
/proc/5074/stat : 5074 (java) R 5072 5074 4779 0 -1 0 8619 0 1 0 1264 5 0 0 25 0 8 0 156493773 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5074/statm: 228863 8355 2513 14 0 215333 0
[pid=5074/tid=5076] ppid=5072 vsize=915452 CPUtime=0.03
/proc/5074/task/5076/stat : 5076 (java) S 5072 5074 4779 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156493776 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5074/tid=5077] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5077/stat : 5077 (java) S 5072 5074 4779 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5078] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5078/stat : 5078 (java) S 5072 5074 4779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493777 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5079] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5079/stat : 5079 (java) S 5072 5074 4779 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156493780 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5080] ppid=5072 vsize=915452 CPUtime=0.2
/proc/5074/task/5080/stat : 5080 (java) S 5072 5074 4779 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156493780 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5081] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5081/stat : 5081 (java) S 5072 5074 4779 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156493780 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5074/tid=5082] ppid=5072 vsize=915452 CPUtime=0
/proc/5074/task/5082/stat : 5082 (java) S 5072 5074 4779 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156493780 937422848 8355 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) 915452
Child status: 0
Real time (s): 14.0874
CPU time (s): 14.0419
CPU user time (s): 13.9789
CPU system time (s): 0.06299
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9789
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8710
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= 1097
involuntary context switches= 135
runsolver used 0.011998 s user time and 0.050992 s system time
The end
Begin job on node62 on Sat Jan 6 10:55:54 UTC 2007
IDJOB= 229218
IDBENCH= 6287
FILE ID= node62/229218-1168080943
PBS_JOBID= 3476179
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229218-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-229218-1168080943 -o ROOT/results/node62/solver-229218-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229218-1168080943/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 67a7b11d4d336e35ea6637687757129a
RANDOM SEED= 167369293
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.259
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.259
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: 1122152 kB
Buffers: 59888 kB
Cached: 775696 kB
SwapCached: 0 kB
Active: 130204 kB
Inactive: 725576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1122152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 30356 kB
Slab: 63652 kB
Committed_AS: 2915508 kB
PageTables: 1684 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= 66551 MiB
End job on node62 on Sat Jan 6 10:56:29 UTC 2007