0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/209969-1168075000/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=15 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.41 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.49 nbConstraints=49 nbConflictsStructures=1 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0
0.49 nbEvaluationManagers=1 nbSharedEvaluationManagers=48 maxDegree=13 maxArity=3
0.49 => wckTime=0.173 cpuTime=0.15 mem=7M992
0.52
0.52 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.371 cpuTime=0.28 mem=14M318
0.69
0.69 preprocessing
0.69 nbConstraintChecks=0 nbPropagations=15 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.69 detectedInconsistency=no
0.69 => wckTime=0.0030 cpuTime=0.01 mem=14M318
0.74
0.74 search
0.74 run=0 nbConstraintChecks=5489 nbValidityChecks=4997 nbPropagations=232 nbRevisions=1600
0.74 nbUselessRevisions=1249 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
0.74 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
0.74 => wckTime=0.055 cpuTime=0.04 mem=14M318
0.77
0.77 search
0.77 run=1 nbConstraintChecks=13900 nbValidityChecks=12684 nbPropagations=751 nbRevisions=5544
0.77 nbUselessRevisions=4349 nbAssignments=70 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=128
0.77 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.77 => wckTime=0.08 cpuTime=0.06 mem=14M318
0.79
0.79 search
0.79 run=2 nbConstraintChecks=26835 nbValidityChecks=24668 nbPropagations=1698 nbRevisions=13249
0.79 nbUselessRevisions=10468 nbAssignments=133 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=245
0.79 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
0.79 => wckTime=0.106 cpuTime=0.08 mem=14M318
0.82
0.82 search
0.82 run=3 nbConstraintChecks=41332 nbValidityChecks=41118 nbPropagations=3304 nbRevisions=26291
0.82 nbUselessRevisions=20865 nbAssignments=223 nbFailedAssignments=125 nbBacktracks=80 nbVisitedNodes=413
0.82 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.138 cpuTime=0.1 mem=14M318
0.85
0.85 search
0.85 run=4 nbConstraintChecks=64906 nbValidityChecks=66154 nbPropagations=5870 nbRevisions=47678
0.85 nbUselessRevisions=38009 nbAssignments=353 nbFailedAssignments=200 nbBacktracks=130 nbVisitedNodes=657
0.85 nbRestartNogoods=15 mapSize=130 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.165 cpuTime=0.13 mem=14M318
0.89
0.89 search
0.89 run=5 nbConstraintChecks=97041 nbValidityChecks=100069 nbPropagations=9740 nbRevisions=79884
0.89 nbUselessRevisions=63573 nbAssignments=548 nbFailedAssignments=316 nbBacktracks=206 nbVisitedNodes=1026
0.89 nbRestartNogoods=21 mapSize=206 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.204 cpuTime=0.16 mem=14M318
0.94
0.94 search
0.94 run=6 nbConstraintChecks=141907 nbValidityChecks=147347 nbPropagations=15478 nbRevisions=127006
0.94 nbUselessRevisions=100791 nbAssignments=825 nbFailedAssignments=476 nbBacktracks=319 nbVisitedNodes=1549
0.94 nbRestartNogoods=24 mapSize=319 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.256 cpuTime=0.21 mem=14M318
1.02
1.02 search
1.03 run=7 nbConstraintChecks=211488 nbValidityChecks=224671 nbPropagations=24126 nbRevisions=198985
1.03 nbUselessRevisions=157669 nbAssignments=1262 nbFailedAssignments=738 nbBacktracks=489 nbVisitedNodes=2379
1.03 nbRestartNogoods=30 mapSize=489 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.339 cpuTime=0.29 mem=14M318
1.14
1.14 search
1.14 run=8 nbConstraintChecks=309949 nbValidityChecks=327517 nbPropagations=37050 nbRevisions=305543
1.14 nbUselessRevisions=242076 nbAssignments=1853 nbFailedAssignments=1068 nbBacktracks=746 nbVisitedNodes=3492
1.14 nbRestartNogoods=36 mapSize=746 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.459 cpuTime=0.38 mem=14M318
1.26
1.26 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=14M318)
1.29
1.29 search
1.29 run=9 nbConstraintChecks=466240 nbValidityChecks=488944 nbPropagations=56219 nbRevisions=462499
1.29 nbUselessRevisions=365295 nbAssignments=2832 nbFailedAssignments=1658 nbBacktracks=1130 nbVisitedNodes=5356
1.29 nbRestartNogoods=42
1.29 => wckTime=0.606 cpuTime=0.52 mem=14M318
1.50
1.50 search
1.50 run=10 nbConstraintChecks=686547 nbValidityChecks=732979 nbPropagations=84836 nbRevisions=695455
1.50 nbUselessRevisions=547433 nbAssignments=4279 nbFailedAssignments=2525 nbBacktracks=1706 nbVisitedNodes=8110
1.50 nbRestartNogoods=52
1.50 => wckTime=0.814 cpuTime=0.73 mem=14M318
1.81
1.81 search
1.81 run=11 nbConstraintChecks=1041637 nbValidityChecks=1103773 nbPropagations=127246 nbRevisions=1045879
1.81 nbUselessRevisions=821381 nbAssignments=6459 nbFailedAssignments=3836 nbBacktracks=2571 nbVisitedNodes=12258
1.81 nbRestartNogoods=62
1.81 => wckTime=1.12 cpuTime=1.04 mem=14M318
2.24
2.24 search
2.24 run=12 nbConstraintChecks=1523940 nbValidityChecks=1631696 nbPropagations=190569 nbRevisions=1570310
2.24 nbUselessRevisions=1232832 nbAssignments=9580 nbFailedAssignments=5656 nbBacktracks=3869 nbVisitedNodes=18139
2.24 nbRestartNogoods=76
2.24 => wckTime=1.551 cpuTime=1.46 mem=14M318
2.89
2.89 search
2.89 run=13 nbConstraintChecks=2333730 nbValidityChecks=2464315 nbPropagations=285555 nbRevisions=2353686
2.89 nbUselessRevisions=1845008 nbAssignments=14492 nbFailedAssignments=8619 nbBacktracks=5815 nbVisitedNodes=27500
2.89 nbRestartNogoods=80
2.89 => wckTime=2.2 cpuTime=2.11 mem=14M318
3.80
3.80 search
3.80 run=14 nbConstraintChecks=3435727 nbValidityChecks=3662808 nbPropagations=425909 nbRevisions=3514495
3.80 nbUselessRevisions=2748296 nbAssignments=21655 nbFailedAssignments=12858 nbBacktracks=8734 nbVisitedNodes=41084
3.80 nbRestartNogoods=88
3.80 => wckTime=3.115 cpuTime=3.02 mem=14M318
5.25
5.25 search
5.25 run=15 nbConstraintChecks=5250622 nbValidityChecks=5546623 nbPropagations=636605 nbRevisions=5269975
5.25 nbUselessRevisions=4115890 nbAssignments=32559 nbFailedAssignments=19379 nbBacktracks=13112
5.25 nbVisitedNodes=61848 nbRestartNogoods=104
5.25 => wckTime=4.568 cpuTime=4.47 mem=14M318
7.59
7.59 search
7.59 run=16 nbConstraintChecks=8085879 nbValidityChecks=8461317 nbPropagations=954451 nbRevisions=7941245
7.59 nbUselessRevisions=6202291 nbAssignments=49101 nbFailedAssignments=29348 nbBacktracks=19680
7.59 nbVisitedNodes=93344 nbRestartNogoods=118
7.59 => wckTime=6.909 cpuTime=6.81 mem=14M318
11.18
11.18 search
11.18 run=17 nbConstraintChecks=12177882 nbValidityChecks=12790796 nbPropagations=1436952 nbRevisions=12022981
11.18 nbUselessRevisions=9403136 nbAssignments=73676 nbFailedAssignments=44066 nbBacktracks=29532
11.18 nbVisitedNodes=140118 nbRestartNogoods=133
11.18 => wckTime=10.497 cpuTime=10.39 mem=14M318
16.19
16.19 search
16.19 run=18 nbConstraintChecks=17971749 nbValidityChecks=18904149 nbPropagations=2155056 nbRevisions=18014028
16.19 nbUselessRevisions=14086982 nbAssignments=109079 nbFailedAssignments=64686 nbBacktracks=44311
16.19 nbVisitedNodes=207342 nbRestartNogoods=144
16.19 => wckTime=15.509 cpuTime=15.4 mem=14M318
23.15
23.15 search
23.15 run=19 nbConstraintChecks=26043813 nbValidityChecks=27570727 nbPropagations=3209255 nbRevisions=26732185
23.15 nbUselessRevisions=20911696 nbAssignments=158352 nbFailedAssignments=91786 nbBacktracks=66480
23.15 nbVisitedNodes=299779 nbRestartNogoods=154
23.15 => wckTime=22.466 cpuTime=22.35 mem=14M318
30.80
30.80 search
30.80 run=20 nbConstraintChecks=34926943 nbValidityChecks=36976764 nbPropagations=4630598 nbRevisions=38416910
30.80 nbUselessRevisions=30052480 nbAssignments=212008 nbFailedAssignments=121180 nbBacktracks=90743
30.80 nbVisitedNodes=400561 nbRestartNogoods=168
30.80 => wckTime=30.112 cpuTime=29.99 mem=14M318
30.80
30.80 global
30.80 nbConstraintChecks=34926943 nbValidityChecks=36976764 nbPropagations=4630613 nbRevisions=38416910
30.80 nbUselessRevisions=30052480 nbRestartNogoods=168 solvingWckTime=30.113 solvingCpuTime=30.0 expiredTime=no
30.80 totalExploration=yes nbFoundSolutions=0 globalCpuTime=30.33
30.80 => wckTime=30.486 cpuTime=30.28 mem=14M318
30.80
30.80 s UNSATISFIABLE
30.80 d NODES 212008
30.80 d CHECKS 34926943
30.80
30.80 totalWckTime=30.566 totalCpuTime=30.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-209969-1168075000 -o ROOT/results/node45/solver-209969-1168075000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209969-1168075000/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.97 1.59 1.79 6/73 22183
/proc/meminfo: memFree=1424120/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=1784 CPUtime=0
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 155899463 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/22182/statm: 446 134 100 14 0 91 0
[startup+0.106278 s]
/proc/loadavg: 0.97 1.59 1.79 6/73 22183
/proc/meminfo: memFree=1424120/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=914988 CPUtime=0.07
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 2996 0 1 0 6 1 0 0 18 0 8 0 155899463 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.517358 s]
/proc/loadavg: 0.97 1.59 1.79 6/73 22183
/proc/meminfo: memFree=1424120/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915328 CPUtime=0.49
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 6443 0 1 0 44 5 0 0 18 0 8 0 155899463 937295872 6181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228832 6181 2181 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3405 s]
/proc/loadavg: 0.97 1.59 1.79 4/87 22197
/proc/meminfo: memFree=1377608/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915452 CPUtime=1.3
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 8502 0 1 0 123 7 0 0 25 0 8 0 155899463 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228863 8239 2533 14 0 215333 0
[pid=22182/tid=22184] ppid=22177 vsize=915452 CPUtime=0.02
/proc/22182/task/22184/stat : 22184 (java) S 22177 22182 22046 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 155899467 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22186] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22186/stat : 22186 (java) S 22177 22182 22046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22187] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22187/stat : 22187 (java) S 22177 22182 22046 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22190] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22190/stat : 22190 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899470 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22191] ppid=22177 vsize=915452 CPUtime=0.18
/proc/22182/task/22191/stat : 22191 (java) S 22177 22182 22046 0 -1 64 363 0 0 0 17 1 0 0 15 0 8 0 155899470 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22192] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22192/stat : 22192 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899470 937422848 8239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22193] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22193/stat : 22193 (java) S 22177 22182 22046 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899471 937422848 8239 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.97779 s]
/proc/loadavg: 1.05 1.60 1.79 2/75 22197
/proc/meminfo: memFree=1401384/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915452 CPUtime=2.93
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 8516 0 1 0 286 7 0 0 25 0 8 0 155899463 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582453 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22182/statm: 228863 8252 2533 14 0 215333 0
[pid=22182/tid=22184] ppid=22177 vsize=915452 CPUtime=0.02
/proc/22182/task/22184/stat : 22184 (java) S 22177 22182 22046 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 155899467 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22186] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22186/stat : 22186 (java) S 22177 22182 22046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22187] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22187/stat : 22187 (java) S 22177 22182 22046 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22190] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22190/stat : 22190 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899470 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22191] ppid=22177 vsize=915452 CPUtime=0.18
/proc/22182/task/22191/stat : 22191 (java) S 22177 22182 22046 0 -1 64 366 0 0 0 17 1 0 0 15 0 8 0 155899470 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22192] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22192/stat : 22192 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899470 937422848 8252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22193] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22193/stat : 22193 (java) S 22177 22182 22046 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899471 937422848 8252 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.27439 s]
/proc/loadavg: 1.05 1.60 1.79 2/75 22205
/proc/meminfo: memFree=1401384/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915452 CPUtime=6.22
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 8525 0 1 0 615 7 0 0 25 0 8 0 155899463 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228863 8259 2533 14 0 215333 0
[pid=22182/tid=22184] ppid=22177 vsize=915452 CPUtime=0.02
/proc/22182/task/22184/stat : 22184 (java) S 22177 22182 22046 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 155899467 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22186] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22186/stat : 22186 (java) S 22177 22182 22046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22187] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22187/stat : 22187 (java) S 22177 22182 22046 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22190] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22190/stat : 22190 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899470 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22191] ppid=22177 vsize=915452 CPUtime=0.19
/proc/22182/task/22191/stat : 22191 (java) S 22177 22182 22046 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 155899470 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22192] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22192/stat : 22192 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899470 937422848 8259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22193] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22193/stat : 22193 (java) S 22177 22182 22046 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899471 937422848 8259 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) 915452
[startup+12.7444 s]
/proc/loadavg: 1.04 1.58 1.78 2/75 22205
/proc/meminfo: memFree=1401392/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915452 CPUtime=12.69
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 8530 0 1 0 1262 7 0 0 25 0 8 0 155899463 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228863 8264 2533 14 0 215333 0
[pid=22182/tid=22184] ppid=22177 vsize=915452 CPUtime=0.02
/proc/22182/task/22184/stat : 22184 (java) S 22177 22182 22046 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 155899467 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22186] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22186/stat : 22186 (java) S 22177 22182 22046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22187] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22187/stat : 22187 (java) S 22177 22182 22046 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22190] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22190/stat : 22190 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899470 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22191] ppid=22177 vsize=915452 CPUtime=0.19
/proc/22182/task/22191/stat : 22191 (java) S 22177 22182 22046 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 155899470 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22192] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22192/stat : 22192 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899470 937422848 8264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22193] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22193/stat : 22193 (java) S 22177 22182 22046 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899471 937422848 8264 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
[startup+25.5827 s]
/proc/loadavg: 1.04 1.56 1.77 2/75 22208
/proc/meminfo: memFree=1403128/2055920 swapFree=4184004/4192956
[pid=22182] ppid=22177 vsize=915452 CPUtime=25.52
/proc/22182/stat : 22182 (java) R 22177 22182 22046 0 -1 0 8535 0 1 0 2544 8 0 0 25 0 8 0 155899463 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22182/statm: 228863 8269 2533 14 0 215333 0
[pid=22182/tid=22184] ppid=22177 vsize=915452 CPUtime=0.02
/proc/22182/task/22184/stat : 22184 (java) S 22177 22182 22046 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 155899467 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22186] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22186/stat : 22186 (java) S 22177 22182 22046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22187] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22187/stat : 22187 (java) S 22177 22182 22046 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899467 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22190] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22190/stat : 22190 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899470 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22191] ppid=22177 vsize=915452 CPUtime=0.19
/proc/22182/task/22191/stat : 22191 (java) S 22177 22182 22046 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 155899470 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22182/tid=22192] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22192/stat : 22192 (java) S 22177 22182 22046 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155899470 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22182/tid=22193] ppid=22177 vsize=915452 CPUtime=0
/proc/22182/task/22193/stat : 22193 (java) S 22177 22182 22046 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155899471 937422848 8269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 30.8363
CPU time (s): 30.7603
CPU user time (s): 30.6723
CPU system time (s): 0.087986
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.6723
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8625
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= 1668
involuntary context switches= 1369
runsolver used 0.025996 s user time and 0.097985 s system time
The end
Begin job on node45 on Sat Jan 6 09:16:41 UTC 2007
IDJOB= 209969
IDBENCH= 4584
FILE ID= node45/209969-1168075000
PBS_JOBID= 3476036
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-15-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209969-1168075000/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-209969-1168075000 -o ROOT/results/node45/solver-209969-1168075000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209969-1168075000/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0ce588cdcebc91402ce00c46a3a722e
RANDOM SEED= 62803864
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: 1425280 kB
Buffers: 48492 kB
Cached: 496432 kB
SwapCached: 2748 kB
Active: 51088 kB
Inactive: 507816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1425280 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 3624 kB
Writeback: 0 kB
Mapped: 19980 kB
Slab: 57444 kB
Committed_AS: 2634480 kB
PageTables: 1596 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= 66543 MiB
End job on node45 on Sat Jan 6 09:17:18 UTC 2007