0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199581-1168071493/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=829 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.304 cpuTime=0.21 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.501 cpuTime=0.35 mem=13M899
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0030 cpuTime=0.0 mem=13M899
0.87
0.87 search
0.87 run=0 nbConstraintChecks=32657 nbPropagations=415 nbRevisions=6270 nbUselessRevisions=5367 nbAssignments=27
0.87 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.88 => wckTime=0.052 cpuTime=0.02 mem=14M924
0.89
0.89 search
0.89 run=1 nbConstraintChecks=78647 nbPropagations=1391 nbRevisions=22162 nbUselessRevisions=19011 nbAssignments=67
0.89 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=117 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.072 cpuTime=0.04 mem=14M924
0.92
0.92 search
0.92 run=2 nbConstraintChecks=138152 nbPropagations=3126 nbRevisions=51400 nbUselessRevisions=44198
0.92 nbAssignments=113 nbFailedAssignments=51 nbBacktracks=48 nbVisitedNodes=203 nbRestartNogoods=8 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.095 cpuTime=0.05 mem=14M924
0.94
0.94 search
0.94 run=3 nbConstraintChecks=223584 nbPropagations=5979 nbRevisions=100085 nbUselessRevisions=86114
0.94 nbAssignments=188 nbFailedAssignments=87 nbBacktracks=82 nbVisitedNodes=341 nbRestartNogoods=12 mapSize=82
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.119 cpuTime=0.07 mem=14M924
0.97
0.97 search
0.97 run=4 nbConstraintChecks=353666 nbPropagations=10394 nbRevisions=176731 nbUselessRevisions=151932
0.97 nbAssignments=293 nbFailedAssignments=137 nbBacktracks=132 nbVisitedNodes=533 nbRestartNogoods=17 mapSize=131
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.144 cpuTime=0.1 mem=14M924
1.01
1.01 search
1.01 run=5 nbConstraintChecks=557011 nbPropagations=17191 nbRevisions=297784 nbUselessRevisions=255931
1.01 nbAssignments=457 nbFailedAssignments=221 nbBacktracks=207 nbVisitedNodes=839 nbRestartNogoods=26 mapSize=206
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.186 cpuTime=0.13 mem=14M924
1.06
1.06 search
1.06 run=6 nbConstraintChecks=854644 nbPropagations=27446 nbRevisions=484402 nbUselessRevisions=416414
1.06 nbAssignments=693 nbFailedAssignments=340 nbBacktracks=320 nbVisitedNodes=1276 nbRestartNogoods=33 mapSize=319
1.06 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.243 cpuTime=0.19 mem=14M924
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1282315 nbPropagations=42717 nbRevisions=765280 nbUselessRevisions=658192
1.15 nbAssignments=1029 nbFailedAssignments=500 nbBacktracks=491 nbVisitedNodes=1898 nbRestartNogoods=43
1.15 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.326 cpuTime=0.26 mem=14M924
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1935185 nbPropagations=65746 nbRevisions=1191923 nbUselessRevisions=1025442
1.29 nbAssignments=1558 nbFailedAssignments=767 nbBacktracks=748 nbVisitedNodes=2885 nbRestartNogoods=50
1.29 mapSize=737 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.47 cpuTime=0.38 mem=14M924
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M924)
1.46
1.46 search
1.46 run=9 nbConstraintChecks=2952409 nbPropagations=100591 nbRevisions=1844480 nbUselessRevisions=1587159
1.46 nbAssignments=2355 nbFailedAssignments=1175 nbBacktracks=1133 nbVisitedNodes=4375 nbRestartNogoods=56
1.46 => wckTime=0.636 cpuTime=0.54 mem=14M924
1.69
1.69 search
1.69 run=10 nbConstraintChecks=4380026 nbPropagations=152543 nbRevisions=2821723 nbUselessRevisions=2429155
1.69 nbAssignments=3525 nbFailedAssignments=1762 nbBacktracks=1711 nbVisitedNodes=6566 nbRestartNogoods=60
1.69 => wckTime=0.871 cpuTime=0.77 mem=14M924
2.01
2.01 search
2.01 run=11 nbConstraintChecks=6423427 nbPropagations=228919 nbRevisions=4256119 nbUselessRevisions=3664690
2.01 nbAssignments=5206 nbFailedAssignments=2574 nbBacktracks=2575 nbVisitedNodes=9682 nbRestartNogoods=67
2.01 => wckTime=1.185 cpuTime=1.08 mem=14M924
2.52
2.52 search
2.52 run=12 nbConstraintChecks=9780976 nbPropagations=344562 nbRevisions=6440548 nbUselessRevisions=5546071
2.52 nbAssignments=7861 nbFailedAssignments=3929 nbBacktracks=3872 nbVisitedNodes=14666 nbRestartNogoods=77
2.52 => wckTime=1.703 cpuTime=1.59 mem=14M924
3.31
3.31 search
3.31 run=13 nbConstraintChecks=14986400 nbPropagations=520054 nbRevisions=9782611 nbUselessRevisions=8425442
3.31 nbAssignments=11842 nbFailedAssignments=5959 nbBacktracks=5818 nbVisitedNodes=22149 nbRestartNogoods=87
3.31 => wckTime=2.486 cpuTime=2.37 mem=14M924
4.45
4.45 search
4.45 run=14 nbConstraintChecks=22548855 nbPropagations=782954 nbRevisions=14797755 nbUselessRevisions=12747039
4.45 nbAssignments=17675 nbFailedAssignments=8867 nbBacktracks=8738 nbVisitedNodes=33071 nbRestartNogoods=103
4.45 => wckTime=3.628 cpuTime=3.5 mem=14M924
6.14
6.14 search
6.14 run=15 nbConstraintChecks=33529293 nbPropagations=1174880 nbRevisions=22287179 nbUselessRevisions=19205597
6.14 nbAssignments=26415 nbFailedAssignments=13224 nbBacktracks=13116 nbVisitedNodes=49403 nbRestartNogoods=112
6.14 => wckTime=5.319 cpuTime=5.17 mem=14M924
8.72
8.72 search
8.72 run=16 nbConstraintChecks=50431732 nbPropagations=1762891 nbRevisions=33550574 nbUselessRevisions=28921384
8.72 nbAssignments=39537 nbFailedAssignments=19773 nbBacktracks=19684 nbVisitedNodes=74005 nbRestartNogoods=127
8.72 => wckTime=7.903 cpuTime=7.73 mem=14M924
12.61
12.61 search
12.61 run=17 nbConstraintChecks=75683776 nbPropagations=2644466 nbRevisions=50450793 nbUselessRevisions=43501001
12.61 nbAssignments=59143 nbFailedAssignments=29521 nbBacktracks=29536 nbVisitedNodes=110710 nbRestartNogoods=146
12.61 => wckTime=11.788 cpuTime=11.58 mem=14M924
18.44
18.44 search
18.44 run=18 nbConstraintChecks=114191328 nbPropagations=3969017 nbRevisions=75892079 nbUselessRevisions=65449473
18.44 nbAssignments=88766 nbFailedAssignments=44361 nbBacktracks=44314 nbVisitedNodes=166237 nbRestartNogoods=160
18.44 => wckTime=17.623 cpuTime=17.36 mem=14M924
27.16
27.16 search
27.16 run=19 nbConstraintChecks=172054317 nbPropagations=5956819 nbRevisions=114174878 nbUselessRevisions=98488502
27.16 nbAssignments=133183 nbFailedAssignments=66605 nbBacktracks=66483 nbVisitedNodes=249482 nbRestartNogoods=173
27.16 => wckTime=26.342 cpuTime=26.01 mem=14M924
40.46
40.46 search
40.46 run=20 nbConstraintChecks=259494349 nbPropagations=8950516 nbRevisions=171939298 nbUselessRevisions=148356311
40.46 nbAssignments=200393 nbFailedAssignments=100559 nbBacktracks=99735 nbVisitedNodes=375540 nbRestartNogoods=181
40.46 => wckTime=39.644 cpuTime=39.19 mem=14M924
60.59
60.59 search
60.59 run=21 nbConstraintChecks=393101475 nbPropagations=13461645 nbRevisions=259312761 nbUselessRevisions=223806646
60.59 nbAssignments=300789 nbFailedAssignments=151073 nbBacktracks=149614 nbVisitedNodes=564014 nbRestartNogoods=202
60.60 => wckTime=59.774 cpuTime=59.13 mem=14M924
91.10
91.19 search
91.19 run=22 nbConstraintChecks=596580957 nbPropagations=20263526 nbRevisions=391684867 nbUselessRevisions=338159250
91.19 nbAssignments=451720 nbFailedAssignments=227182 nbBacktracks=224432 nbVisitedNodes=847293 nbRestartNogoods=216
91.19 => wckTime=90.282 cpuTime=89.35 mem=14M924
96.52
96.52 search
96.52 run=23 nbConstraintChecks=632766949 nbPropagations=27468613 nbRevisions=532028237 nbUselessRevisions=459407487
96.52 nbAssignments=478159 nbFailedAssignments=240546 nbBacktracks=237508 nbVisitedNodes=896921 nbRestartNogoods=234
96.52 => wckTime=95.703 cpuTime=94.72 mem=14M924
96.53
96.53 global
96.53 nbConstraintChecks=632766949 nbPropagations=27468636 nbRevisions=532028237 nbUselessRevisions=459407487
96.53 nbRestartNogoods=234 solvingWckTime=95.704 solvingCpuTime=94.72 expiredTime=no totalExploration=yes
96.53 nbFoundSolutions=0 globalCpuTime=95.12
96.53 => wckTime=96.208 cpuTime=95.07 mem=14M924
96.53
96.53 s UNSATISFIABLE
96.53 d NODES 478159
96.53 d CHECKS 632766949
96.53
96.53 totalWckTime=96.291 totalCpuTime=95.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-199581-1168071493 -o ROOT/results/node1/solver-199581-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199581-1168071493/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.78 1.85 1.85 4/93 15564
/proc/meminfo: memFree=1236072/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=1784 CPUtime=0
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155545048 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/15563/statm: 446 140 106 14 0 91 0
[startup+0.103951 s]
/proc/loadavg: 1.78 1.85 1.85 4/93 15564
/proc/meminfo: memFree=1236072/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=914988 CPUtime=0.08
/proc/15563/stat : 15563 (java) S 15561 15563 15326 0 -1 0 2998 0 1 0 7 1 0 0 17 0 8 0 155545048 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511996 s]
/proc/loadavg: 1.78 1.85 1.85 4/93 15564
/proc/meminfo: memFree=1236072/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915328 CPUtime=0.49
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 6863 0 1 0 44 5 0 0 18 0 8 0 155545048 937295872 6602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152157403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228832 6602 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33309 s]
/proc/loadavg: 1.78 1.85 1.85 4/100 15571
/proc/meminfo: memFree=1212656/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=1.29
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8581 0 1 0 122 7 0 0 20 0 8 0 155545048 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8319 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545052 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.23
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 383 0 0 0 22 1 0 0 19 0 8 0 155545056 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.97028 s]
/proc/loadavg: 1.78 1.85 1.85 3/100 15571
/proc/meminfo: memFree=1212464/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=2.91
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8602 0 1 0 284 7 0 0 25 0 8 0 155545048 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8339 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 155545052 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.24
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 155545056 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.26166 s]
/proc/loadavg: 1.80 1.85 1.85 3/100 15571
/proc/meminfo: memFree=1212400/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=6.17
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8613 0 1 0 610 7 0 0 25 0 8 0 155545048 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8348 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 155545052 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.24
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 155545056 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452
[startup+12.7364 s]
/proc/loadavg: 1.81 1.85 1.85 3/100 15571
/proc/meminfo: memFree=1212400/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=12.59
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8618 0 1 0 1252 7 0 0 25 0 8 0 155545048 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8353 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545052 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.24
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 155545056 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.6029 s]
/proc/loadavg: 1.85 1.86 1.86 3/100 15571
/proc/meminfo: memFree=1212400/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=25.34
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8620 0 1 0 2527 7 0 0 25 0 8 0 155545048 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8355 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545052 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.24
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 155545056 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.2099 s]
/proc/loadavg: 1.90 1.87 1.86 3/100 15573
/proc/meminfo: memFree=1212272/2055920 swapFree=4165584/4192956
[pid=15563] ppid=15561 vsize=915452 CPUtime=50.7
/proc/15563/stat : 15563 (java) R 15561 15563 15326 0 -1 0 8625 0 1 0 5063 7 0 0 25 0 8 0 155545048 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15563/statm: 228863 8360 2513 14 0 215333 0
[pid=15563/tid=15565] ppid=15561 vsize=915452 CPUtime=0.03
/proc/15563/task/15565/stat : 15565 (java) S 15561 15563 15326 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545052 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15566] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15566/stat : 15566 (java) S 15561 15563 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545053 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15567] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15567/stat : 15567 (java) S 15561 15563 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545053 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15568] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15568/stat : 15568 (java) S 15561 15563 15326 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545056 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15569] ppid=15561 vsize=915452 CPUtime=0.24
/proc/15563/task/15569/stat : 15569 (java) S 15561 15563 15326 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 155545056 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15570] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15570/stat : 15570 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545056 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15563/tid=15571] ppid=15561 vsize=915452 CPUtime=0
/proc/15563/task/15571/stat : 15571 (java) S 15561 15563 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545056 937422848 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 96.5666
CPU time (s): 95.6315
CPU user time (s): 95.5405
CPU system time (s): 0.090986
CPU usage (%): 99.0316
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5405
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8721
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= 2766
involuntary context switches= 6942
runsolver used 0.122981 s user time and 0.321951 s system time
The end
Begin job on node1 on Sat Jan 6 08:18:13 UTC 2007
IDJOB= 199581
IDBENCH= 3627
FILE ID= node1/199581-1168071493
PBS_JOBID= 3475738
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199581-1168071493/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-199581-1168071493 -o ROOT/results/node1/solver-199581-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199581-1168071493/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91689171d947c8c08ebb7b0d8380a5b4
RANDOM SEED= 90658990
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.234
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.234
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: 1236552 kB
Buffers: 69372 kB
Cached: 588304 kB
SwapCached: 3692 kB
Active: 378608 kB
Inactive: 343812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1236552 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 84704 kB
Slab: 81580 kB
Committed_AS: 4908100 kB
PageTables: 2444 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= 66302 MiB
End job on node1 on Sat Jan 6 08:19:50 UTC 2007